|
Search the dblp DataBase
Aletta Nylén:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Parosh Aziz Abdulla, Aletta Nylén
Timed Petri Nets and BQOs. [Citation Graph (0, 0)][DBLP] ICATPN, 2001, pp:53-70 [Conf]
- Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
Unfoldings of Unbounded Petri Nets. [Citation Graph (0, 0)][DBLP] CAV, 2000, pp:495-507 [Conf]
- Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén
Forward Reachability Analysis of Timed Petri Nets. [Citation Graph (0, 0)][DBLP] FORMATS/FTRTFT, 2004, pp:343-362 [Conf]
- Parosh Aziz Abdulla, Aletta Nylén
Better is Better than Well: On Efficient Verification of Infinite-State Systems. [Citation Graph (0, 0)][DBLP] LICS, 2000, pp:132-140 [Conf]
- Parosh Aziz Abdulla, Aletta Nylén
Better Quasi-Ordered Transition Systems [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén
SAT-Solving the Coverability Problem for Petri Nets. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:24, n:1, pp:25-43 [Journal]
Search in 0.001secs, Finished in 0.001secs
|