http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Memoised Garbage Collection for Software Model Checking

Nguyen, Viet Yen ; Ruys, Theo C.

In
Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / Stefan Kowalewski; Anna Philippou (eds.), Seiten/Artikel-Nr: 232-249

2009

Konferenz/Event:15. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , York , UK , TACAS 2009 , 2009-03-22 - 2009-03-29

Konferenz/Event:Joint European Conferences on Theory and Practice of Software , York , UK , ETAPS 2009 , 2009-03-22 - 2009-03-29

ImpressumBerlin [u.a.] : Springer

Umfang232-249

ISBN3-642-00767-8, 978-3-642-00767-5, 978-3-642-00768-2

ReiheLecture notes in computer science ; 5505

Online
DOI: 10.1007/978-3-642-00768-2_20
10.1007/978-3-642-00768-2_20

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
INSPEC: INSPEC:10819152
SCOPUS: SCOPUS:2-s2.0-70350623375
OpenAlex: W2120523998

Interne Identnummern
RWTH-CONV-095687
Datensatz-ID: 83792

Beteiligte Länder
Germany, Netherlands