Construction and SAT−based verification of Contextual Unfoldings
Stefan Schwoon and César Rodríguez
Book Title
Proc. of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11)
Editor
Holzer‚ Markus and Kutrib‚ Martin and Pighizzini‚ Giovanni
Month
jul
Note
Extended abstract
Pages
34–42
Publisher
Springer
Series
LNCS
Volume
6808
Year
2011