Artikel in einem Konferenzbericht,

Temporal Debugging for Concurrent Systems.

, und .
TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 431-444. Springer, (2002)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen