%0 Conference Paper %1 conf/amast/ShanklandT97 %A Shankland, Carron %A Thomas, Muffy %B AMAST %D 1997 %E Johnson, Michael %I Springer %K dblp %P 479-493 %T Symbolic Bisimulation for Full LOTOS. %U http://dblp.uni-trier.de/db/conf/amast/amast97.html#ShanklandT97 %V 1349 %@ 3-540-63888-1

@inproceedings{conf/amast/ShanklandT97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Shankland, Carron and Thomas, Muffy}, biburl = {https://www.bibsonomy.org/bibtex/203e1997d04e5b748909988745f67d6d6/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1997}, editor = {Johnson, Michael}, ee = {https://doi.org/10.1007/BFb0000491}, interhash = {b92f859bacb7d11f5282b00bd379e8d6}, intrahash = {03e1997d04e5b748909988745f67d6d6}, isbn = {3-540-63888-1}, keywords = {dblp}, pages = {479-493}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:25:10.000+0200}, title = {Symbolic Bisimulation for Full LOTOS.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast97.html#ShanklandT97}, volume = 1349, year = 1997 }