For the most recent entries see the
Petri Nets Newsletter.
Lucio, L.
-
Buchs, Didier;
Pedro, Luis;
Lucio, Levi:
Formal Test Generation from UML Models.
2006.
-
Lúcio, Levi;
Pedro, Luis;
Buchs, Didier:
A Test Language for CO-OPN Specifications.
2005.
-
Chen, A.;
Buchs, D.;
Lucio, L.;
Pedro, L.;
Risoldi, M.:
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography