Wyniki wyszukiwania dla: Christine Choppy
Lecture Notes in Computer Science > FM’99 — Formal Methods > Foundations of System Specification (IFIP WG 1.3) > 939-962
Lecture Notes in Computer Science > STACS 86 > 236-251
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency III > 159-188
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 362-365
Lecture Notes in Computer Science > ESOP 86 > 173-186
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 201-215
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Modeling and Requirements > 244-260