dblp.uni-trier.dewww.uni-trier.de

Aletta Nylén

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
6EEParosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén: Forward Reachability Analysis of Timed Petri Nets. FORMATS/FTRTFT 2004: 343-362
5EEParosh Aziz Abdulla, Aletta Nylén: Better Quasi-Ordered Transition Systems CoRR cs.LO/0409052: (2004)
4EEParosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén: SAT-Solving the Coverability Problem for Petri Nets. Formal Methods in System Design 24(1): 25-43 (2004)
2001
3EEParosh Aziz Abdulla, Aletta Nylén: Timed Petri Nets and BQOs. ICATPN 2001: 53-70
2000
2 Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén: Unfoldings of Unbounded Petri Nets. CAV 2000: 495-507
1EEParosh Aziz Abdulla, Aletta Nylén: Better is Better than Well: On Efficient Verification of Infinite-State Systems. LICS 2000: 132-140

Coauthor Index

1Parosh Aziz Abdulla [1] [2] [3] [4] [5] [6]
2Johann Deneux [6]
3S. Purushothaman Iyer (S. Purushothaman) [2] [4]
4Pritha Mahata [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)