Efficient Contextual Unfolding
César Rodríguez‚ Stefan Schwoon and Paolo Baldan
Book Title
Proc. International Conference on Concurrency Theory (CONCUR)
Editor
Katoen‚ Joost−Pieter and König‚ Barbara
Month
sep
Pages
342–357
Publisher
Springer
Series
LNCS
Volume
6901
Year
2011