Gnter Graw
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1996–2000
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ISORC | Verification of UML-Based Real-Time System Designs by Means of cTLA. | Gnter Graw, Peter Herrmann, Heiko Krumm |
| 1999 | DAIS | Constraint-oriented formal modelling of OO-systems. | Gnter Graw, Peter Herrmann, Heiko Krumm |
| 1998 | ISORC | Compositional Specification and Structured Verification of Hybrid Systems in cTLA. | Peter Herrmann, Gnter Graw, Heiko Krumm |
| 1996 | ICPADS | Support of cooperating and distributed business processes. | Gnter Graw, Volker Gruhn, Heiko Krumm |