Decidable Fragments of Simultaneous Rigid Reachability
Decidable Fragments of Simultaneous Rigid Reachability. Véronique Cortier, Harald Ganzinger, Florent Jacquemard, and Margus Veanes. In Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP'99), pp. 250–260, Lecture Notes in Computer Science 1644, Springer, Prague, Czech Republic, July 1999.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{cortier99decidable, address = {Prague, Czech Republic}, author = {Cortier, V{\'e}ronique and Ganzinger, Harald and Jacquemard, Florent and Veanes, Margus}, booktitle = {{P}roceedings of the 26th {I}nternational {C}olloquium on {A}utomata, {L}anguages and {P}rogramming ({ICALP}'99)}, editor = {Wiedermann, Jir{\'i} and van Emde Boas, Peter and Nielsen, Mogens}, month = jul, pages = {250-260}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Decidable Fragments of Simultaneous Rigid Reachability}, volume = {1644}, year = {1999}, }