
Search the dblp DataBase
Roland Meyer:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Johannes Faber, Roland Meyer
Model Checking DataDependent RealTime Properties of the European Train Control System. [Citation Graph (0, 0)][DBLP] FMCAD, 2006, pp:7677 [Conf]
 Roland Meyer, Johannes Faber, Andrey Rybalchenko
Model Checking Duration Calculus: A Practical Approach. [Citation Graph (0, 0)][DBLP] ICTAC, 2006, pp:332346 [Conf]
 Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. [Citation Graph (0, 0)][DBLP] SDL Forum, 2005, pp:133148 [Conf]
Checking piCalculus Structural Congruence is Graph Isomorphism Complete. [Citation Graph (, )][DBLP]
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. [Citation Graph (, )][DBLP]
Petruchio: From Dynamic Networks to Nets. [Citation Graph (, )][DBLP]
On the Relationship between πCalculus and Finite Place/Transition Petri Nets. [Citation Graph (, )][DBLP]
Kleene, Rabin, and Scott Are Available. [Citation Graph (, )][DBLP]
The DownwardClosure of Petri Net Languages. [Citation Graph (, )][DBLP]
On Boundedness in Depth in the piCalculus. [Citation Graph (, )][DBLP]
A theory of structural stationarity in the pi Calculus. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
