Jrn Lind-Nielsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1998–1999
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | CAV | Stepwise CTL Model Checking of State/Event Systems. | Jrn Lind-Nielsen, Henrik Reif Andersen |
| 1999 | TACAS | Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. | Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jrn Lind-Nielsen |
| 1998 | TACAS | Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. | Jrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kre J. Kristoffersen, Kim Guldstrand Larsen |