TU Darmstadt / ULB / TUbiblio

PatEC: Pattern-Based Equivalence Checking

Jakobs, Marie-Christine
Laarman, Alfons ; Sokolova, Ana (eds.) (2021):
PatEC: Pattern-Based Equivalence Checking.
In: Lecture Notes in Computer Science, 12864, In: Model Checking Software, pp. 120-139,
Springer, 27th International Symposium on Model Checking Software (SPIN 2021), virtual Conference, 12.07.2021, ISBN 978-3-030-84628-2,
DOI: 10.1007/978-3-030-84629-9_7,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2021
Editors: Laarman, Alfons ; Sokolova, Ana
Creators: Jakobs, Marie-Christine
Title: PatEC: Pattern-Based Equivalence Checking
Language: English
Title of Book: Model Checking Software
Series Name: Lecture Notes in Computer Science
Volume: 12864
Publisher: Springer
ISBN: 978-3-030-84628-2
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Event Title: 27th International Symposium on Model Checking Software (SPIN 2021)
Event Location: virtual Conference
Event Dates: 12.07.2021
Date Deposited: 12 Aug 2021 13:05
DOI: 10.1007/978-3-030-84629-9_7
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details