An Unfolding Algorithm for Synchronous Products of Transition Systems

Javier Esparza, Stefan Römer. An Unfolding Algorithm for Synchronous Products of Transition Systems. In Jos C. M. Baeten, Sjouke Mauw, editors, CONCUR 99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Volume 1664 of Lecture Notes in Computer Science, pages 2-20, Springer, 1999. [doi]

No reviews for this publication, yet.