Clemens Fischer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1996–2001
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | FASE | A CSP View on UML-RT Structure Diagrams. | Clemens Fischer, Ernst-Rdiger Olderog, Heike Wehrheim |
| 1999 | IFM | Model-Checking CSP-OZ Specifications with FDR. | Clemens Fischer, Heike Wehrheim |
| 1997 | FORTE | Combining CSP and Object-Z: Finite or Infinite Trace Semantics? | Clemens Fischer, Graeme Smith |
| 1996 | CONCUR | Synchronous Development of Asynchonous Systems. | Clemens Fischer, Wil Janssen |