Shortest Paths in Reachability Graphs

Jörg Desel, Javier Esparza. Shortest Paths in Reachability Graphs. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 224-241, Springer, 1993.

Abstract

Abstract is missing.