Paper: Strong Bisimulation of State Automata (at LICS 1986)
Authors: David B. Benson Ofer Ben-ShacharAbstract
No Abstract Available
BibTeX
@InProceedings{BensonBenShachar-StrongBisimulationo, author = {David B. Benson and Ofer Ben-Shachar}, title = {Strong Bisimulation of State Automata}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {77--81 }, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }