Treffer: Simulation and verification of dynamic systems

Titel:

Simulation and verification of dynamic systems : executive summary / David Nicol ...

Beteiligt:

Nicol, David M.

Veröffentlicht:

[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2006]

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Dagstuhl seminar proceedings 06161

Zusatz-Informationen