guest ::
Verifying concurrent list-manipulating programs by LTL model checking
; ;
In
HAV 2007 : Workshop on Heap Analysis and Verification, March 25, 2007, Braga, Portugal ; [Informal Proceedings], Seiten/Artikel-Nr: 94-113
2007
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
External link: 
Fulltext
Dokumenttyp
Contribution to a conference proceedings
Format
data medium, online
Sprache
English
Anmerkung
Peer reviewed article
Interne Identnummern
RWTH-CONV-187162
Datensatz-ID: 115549
Beteiligte Länder
Germany
|
The record appears in these collections: |
Fulltext