Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.
Symbolic model checking: 1020 States and beyond
1992·2.691 Zitationen·Information and Computation
Volltext beim Verlag öffnen2.691
Zitationen
5
Autoren
1992
Jahr
Abstract
Für dieses Paper ist kein Abstract in der Datenbank hinterlegt.
Abstract beim Verlag einsehenÄhnliche Arbeiten
Autoren
Institutionen
Themen
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research