Reactive systems : modelling, specification and verification /

Autor Aceto, Luca, 1961-
Vydáno 2007

Automata, languages and programming : 35th International Colloquium, ICALP 2008 : Reykjavik, Iceland, July 7-11, 2008 : proceedings. Part I. /

Vydáno 2008

Automata, languages and programming : 35th International Colloquium, ICALP 2008 : Reykjavik, Iceland, July 7-11, 2008 : proceedings. Part II. /

Vydáno 2008

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 /

Vydáno 2006