Artikel in einem Konferenzbericht,

Precongruence Formats for Decorated Trace Preorders.

, , und .
LICS, Seite 107-118. IEEE Computer Society, (2000)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen