Mining sequential patterns to explain concurrent counterexamples

Leue, Stefan ; Tabaei Befrouei, Mitra 2013 Bibliothek der Universität Konstanz

Link zu diesem Datensatz

https://d-nb.info/1104941473

Art des Inhalts

Monographie

Verfassangaben

Stefan Leue ; Mitra Tabaei Befrouei

Autor(en)

Leue, Stefan
Tabaei Befrouei, Mitra

Verlag

Konstanz : Bibliothek der Universität Konstanz [2013]

Jahr

Erscheinungsdatum: 2013

Umfang/Format

Online-Ressource

Online

https://nbn-resolving.org/urn:nbn:de:bsz:352-243913

Sprache

eng

Anmerkungen

In: Model Checking Software / Bartocci, Ezio; Ramakrishnan, C. R. (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - (Lecture Notes in Computer Science ; 7976). - S. 264-281. - ISBN 978-3-642-39175-0

Stand

02.12.2025 12:58

Im Katalog seit

06.03.2026

Mining sequential patterns to explain concurrent counterexamples

Beschreibung vom Verlag