Christian Scheidler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1995–2005
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FM | Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. | Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop |
| 1995 | PDP | The monitoring facilities of the graphical parallel programming environment TRAPPER. | T. Born, Wolfgang Obeler, Lorenz Schfers, Christian Scheidler |