Search results for: Andrea Maggiolo-Schettini
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 107-121
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 55-71
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 108-122
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2004 > Semantics > 525-536
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Concurrency > 93-107
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 582-598
Lecture Notes in Computer Science > CAAP '92 > 221-231
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 13-26