×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [infinite state space]
Home >
infinite state space
Clocked Mazurkiewicz Traces and Partial Order Reductions for Timed Automata D. Lugiez, P. Niebert, S. Zennou Laboratoire d Informatique Fondamentale de.
213 views
Modelling and Analysis of the CES Protocol of H.245 Lin Liu and Jonathan Billington Computer Systems Engineering Centre University of South Australia.
213 views
Model checking of time petri nets
529 views
*Department of Computing Science University of Newcastle upon Tyne **Institut für Informatik, Universität Augsburg Canonical Prefixes of Petri Net Unfoldings.
214 views
1 INFO 2950 Prof. Carla Gomes
[email protected]
Module Modeling Computation: Languages and Grammars Rosen, Chapter 12.1.
219 views
Modeling Computation Rosen, ch. 12. Modeling Computation We learned earlier the concept of an algorithm.We learned earlier the concept of an algorithm.
213 views
INFO 2950
43 views
* Department of Computing Science University of Newcastle upon Tyne
38 views
Today’s Agenda
36 views
Rosen 7 th ed., Ch. 13.1
34 views