|
Search the dblp DataBase
Morgan Magnin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
Romeo: A Tool for Analyzing Time Petri Nets. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:418-423 [Conf]
- Morgan Magnin, Didier Lime, Olivier H. Roux
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:59-77 [Journal]
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). [Citation Graph (, )][DBLP]
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|