Treffer: Simulation and verification of dynamic systems

Titel:

Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar / David M. 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