The challenge of combining simulation and verification : working groups' report

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 37 von 40


Link zu diesem Datensatz	https://d-nb.info/991215516
Titel	The challenge of combining simulation and verification : working groups' report / Gregory Batt ...
Person(en)	Batt, Gregory (Mitwirkender) Bradley, Jeremy T. (Mitwirkender) Ewald, Roland (Mitwirkender) Fages, Franðcois (Mitwirkender) Hermans, Holger (Mitwirkender) Hillston, Jane (Mitwirkender) Kemper, Peter (Mitwirkender) Martens, Alke (Mitwirkender) Mosterman, Pieter (Mitwirkender) Nielson, Flemming (Mitwirkender) Sokolsky, Oleg (Mitwirkender) Uhrmacher, Adelinde (Mitwirkender)
Verlag	[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik]
Zeitliche Einordnung	Erscheinungsdatum: [2006]
Umfang/Format	Online-Ressource
Persistent Identifier	URN: urn:nbn:de:0030-drops-7249
URL	http://drops.dagstuhl.de/opus/volltexte/2006/724/pdf/06161.SWM.Paper.724.pdf (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Beziehungen	Dagstuhl seminar proceedings 06161
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 37 von 40

Korrekturanfrage