For the most recent entries see the
Petri Nets Newsletter.
Di Marzo Serugendo, G.
-
Di Marzo Serugendo, Giovanna;
Mandrioli, Dino;
Buchs, Didier;
Guelfi, Nicolas:
Real-Time Synchronised Petri Nets.
2002.
-
Di Marzo Serugendo, Giovanna:
A Formal Development and Validation Methodology applied to Agent-Based Systems.
2001.
-
Di Marzo Serugendo, Giovanna;
Mandrioli, D.;
Buchs, D.;
Guelfi, N.:
Adding Real-Time Constraints to Synchronised Petri Nets.
2000.
-
Di Marzo Serugendo, G.;
Guelfi, N.;
Romanovsky, A.;
Zrozo, A.F.:
Formal development and validation of Java dependable distributed systems.
1999.
-
Di Marzo Serugendo, G.:
Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs.
1999.
-
Di Marzo Serugendo, G.;
Guelfi, N.:
Formal development of Java based Web parallel applications.
1998.
-
Di Marzo Serugendo, G.;
Guelfi, N.:
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study.
1998.
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