%0 Conference Paper %1 conf/amast/SabadiniVW93 %A Sabadini, Nicoletta %A Vigna, Sebastiano %A Walters, Robert F. C. %B AMAST %D 1993 %E Nivat, Maurice %E Rattray, Charles %E Rus, Teodor %E Scollo, Giuseppe %I Springer %K dblp %P 325-332 %T A Notion of Refinement for Automata. %U http://dblp.uni-trier.de/db/conf/amast/amast93.html#SabadiniVW93 %@ 3-540-19852-0

@inproceedings{conf/amast/SabadiniVW93, added-at = {2003-02-18T00:00:00.000+0100}, author = {Sabadini, Nicoletta and Vigna, Sebastiano and Walters, Robert F. C.}, biburl = {https://www.bibsonomy.org/bibtex/287f6d165c8b4fd4408a724504cebd5fe/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1993}, date = {2003-02-18}, description = {dblp}, editor = {Nivat, Maurice and Rattray, Charles and Rus, Teodor and Scollo, Giuseppe}, interhash = {e8faedf20921484a57b6f5ecc164dbe3}, intrahash = {87f6d165c8b4fd4408a724504cebd5fe}, isbn = {3-540-19852-0}, keywords = {dblp}, pages = {325-332}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2003-02-18T00:00:00.000+0100}, title = {A Notion of Refinement for Automata.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast93.html#SabadiniVW93}, year = 1993 }