Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
- application and theory of petri nets 1994 : 15th international conference zaragoza, spain, june 20-24, 1994 proceedings 1 Treffer
- coloured petri nets : modelling and validation of concurrent systems 1 Treffer
- functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992 mcmaster university, hamilton, ontario, canada 1 Treffer
- systems and software verification : model-checking techniques and tools 1 Treffer
4 Treffer
-
In: Systems and Software Verification : Model-Checking Techniques and Tools; (2001) S. 145-151Online E-BookZugriff:
-
In: Coloured Petri Nets : Modelling and Validation of Concurrent Systems; (2009) S. 303-312Online E-BookZugriff:
-
1994Online E-BookZugriff:
-
1993Online E-BookZugriff: