Artikel in einem Konferenzbericht,

Generalizing the Submodule Construction Techniques for Extended State Machine Models.

, und .
FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 191-195. Springer, (2006)

Metadaten

Tags

Nutzer

  • @dblp
  • @leonardo

Kommentare und Rezensionen