%0 Conference Paper %1 conf/stacs/BaetenV02 %A Baeten, Jos C. M. %A de Vink, Erik P. %B STACS %D 2002 %E Alt, Helmut %E Ferreira, Afonso %I Springer %K dblp %P 583-595 %T Axiomatizing GSOS with Termination. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2002.html#BaetenV02 %V 2285 %@ 3-540-43283-3

@inproceedings{conf/stacs/BaetenV02, added-at = {2017-05-26T00:00:00.000+0200}, author = {Baeten, Jos C. M. and de Vink, Erik P.}, biburl = {https://www.bibsonomy.org/bibtex/20ae29d6f665ad5813b0cfa1bfeda8e05/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2002}, editor = {Alt, Helmut and Ferreira, Afonso}, ee = {https://doi.org/10.1007/3-540-45841-7_48}, interhash = {af48e2212a7306412df57dcb765af13b}, intrahash = {0ae29d6f665ad5813b0cfa1bfeda8e05}, isbn = {3-540-43283-3}, keywords = {dblp}, pages = {583-595}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:28.000+0200}, title = {Axiomatizing GSOS with Termination.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2002.html#BaetenV02}, volume = 2285, year = 2002 }