Date: 2013-04-09 03:06:25Concurrency Applied mathematics Diagrams Petri net Automata theory Formal verification Finite-state machine Petri Model checking Models of computation Theoretical computer science Computer science | | Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 3: Model-checking of timed transitions systems: timed extensions of Petri nets Morgan MagninAdd to Reading ListSource URL: www.nii.ac.jpDownload Document from Source Website File Size: 1,16 MBShare Document on Facebook
|