Alain Finkel, Laure Petrucci. Avoiding State Exposion by Composition of Minimal Covering Graphs. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 169-180, Springer, 1991.
Abstract is missing.