Artikel in einem Konferenzbericht,

A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report).

, und .
DSL, Volume 66 von EPTCS, Seite 24-47. (2011)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen