Jesper Grtz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
1991–1994
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | FM | Specifying Safety and Progress Properties with RSL. | Jesper Grtz |
| 1993 | FM | Experience from Applications of RAISE. | Bent Dandanell, Jesper Grtz, Jan Storbank Pedersen, Eld Zierau |
| 1991 | FM | Using RAISE - First Impressions from the LaCoS Applications. | D. L. Chalmers, Bent Dandanell, Jesper Grtz, Jan Storbank Pedersen, Eld Zierau |