Artikel in einem Konferenzbericht,

Behaviour Inference for Deadlock Checking.

, , und .
TASE, Seite 106-113. IEEE Computer Society, (2014)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen