%0 Conference Paper %1 conf/pstv/ValmariT91 %A Valmari, Antti %A Tienari, Martti %B PSTV %D 1991 %E Jonsson, Bengt %E Parrow, Joachim %E Pehrson, Björn %I North-Holland %K dblp %P 3-18 %T An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1991.html#ValmariT91 %@ 0-444-89210-9

@inproceedings{conf/pstv/ValmariT91, added-at = {2002-01-03T00:00:00.000+0100}, author = {Valmari, Antti and Tienari, Martti}, biburl = {https://www.bibsonomy.org/bibtex/2252b4e51be470138813712ffd738f1c7/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1991}, editor = {Jonsson, Bengt and Parrow, Joachim and Pehrson, Björn}, interhash = {b58c625d7389b9bdaec0efdd2f85a153}, intrahash = {252b4e51be470138813712ffd738f1c7}, isbn = {0-444-89210-9}, keywords = {dblp}, pages = {3-18}, publisher = {North-Holland}, timestamp = {2024-04-09T19:44:00.000+0200}, title = {An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1991.html#ValmariT91}, year = 1991 }