Efficient Model Checking of Applications with I/O

Armin Biere (Vortragende*r)

Institut für Formale Modelle und Verifikation

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt

Zeitraum	15 Feb. 2007
Ereignistitel	Eurocast 2007
Veranstaltungstyp	Konferenz
Ort	SpanienAuf Karte anzeigen

Wissenschaftszweige

102 Informatik
102011 Formale Sprachen