Søkte etter:

3 treff

Reactive systems : modelling, specification and verification
Luca Aceto ... [et al.]
Bok Engelsk 2007
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings
FOSSACS 2006
Bok Engelsk 2006
Action refinement in process algebras
Luca Aceto
Bok Engelsk 1992