Peter Scholz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1996–2013
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SPLC | Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination. | Christian Prehofer, Peter Scholz |
| 1998 | FASE | A Refinement Calculus for Statecharts. | Peter Scholz |
| 1997 | TACAS | Formal Verification of Statecharts with Instantaneous Chain Reaction. | Jan Philipps, Peter Scholz |
| 1996 | SOFSEM | A Light-Weight Formalism for the Specification of Reactive Systems. | Peter Scholz |