Cited By
View all- Jacobsen LJacobsen MMøller MSrba J(2011)Verification of timed-arc Petri netsProceedings of the 37th international conference on Current trends in theory and practice of computer science10.5555/1946370.1946374(46-72)Online publication date: 22-Jan-2011
- Jacobsen LJacobsen MMøller MSrba J(2010)A framework for relating timed transition systems and preserving TCTL model checkingProceedings of the 7th European performance engineering conference on Computer performance engineering10.5555/1926981.1926990(83-98)Online publication date: 23-Sep-2010
- Boyer MRoux O(2008)On the Compared Expressiveness of Arc, Place and Transition Time Petri NetsFundamenta Informaticae10.5555/2366267.236626988:3(225-249)Online publication date: 1-Aug-2008
- Show More Cited By