First Page | Document Content | |
---|---|---|
Date: 2003-07-04 03:48:30Computing Computer science Model checking Automata theory Concurrent computing Calculus Finite-state machine Actor model Petri net Models of computation Formal methods Concurrency | F Formal Methods && Tools Group Stefania Gnesi F M&&TAdd to Reading ListSource URL: fmics.inria.frDownload Document from Source WebsiteFile Size: 1,36 MBShare Document on Facebook |