Search results
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Prototyping and Synthesis > 360-377
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Concurrency > 138-152
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Invited Talks > 40-64
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Tool Papers > 464-473
Lecture Notes in Computer Science > Engineering and Deployment of Cooperative Information Systems > Distributed Systems Analysis > 303-314
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 250-267
Lecture Notes in Computer Science > Integrated Formal Methods > Combining Graphical and Formal Approaches > 339-359
Lecture Notes in Control and Information Sciences > Advances in Control Theory and Applications > 99-127
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Invited Papers > 37-56
Lecture Notes in Computer Science > Combinatorial Image Analysis > Grammars and Models for Image Analysis. Tilings and Patterns > 235-247
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 189-203
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 442-455
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 159-172
Lecture Notes in Computer Science > Web Information Systems Engineering – WISE 2010 Workshops > The 2nd International Workshop on Mobile Business Collaboration (MBC2010) > 474-482