Model checking pushdown systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schwoon, Stefan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2002
Schlagworte:	Rekursive Funktion > Temporale Logik > Model Checking > Programmverifikation > Kellerautomat > Verifikation > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!