Search results for: Serge Haddad
Journal of Computer and System Sciences > 2017 > 83 > 1 > 101-120
Lecture Notes in Computer Science > Multi-Agent System Engineering > Languages and Protocols > 89-101
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 292-306
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 164-183
Lecture Notes in Computer Science > Computer Performance Evaluation > Petri Net Techniques > 243-254
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 189-203
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 196-210
Lecture Notes in Computer Science > Languages, Methodologies, and Development Tools for Multi-Agent Systems > Agent Programming Languages and Methodologies > 72-91
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Petri Nets > 211-225
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 8. Components > 341-357
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 362-365
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 230-244
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Process Calculi > 153-167
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Full Papers > 221-240
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 273-284