%0 Conference Paper %1 conf/strict/Rensink95 %A Rensink, Arend %B STRICT %D 1995 %E Desel, Jörg %I Springer %K dblp %P 294-309 %T An Event-Based SOS for a Language with Refinement. %U http://dblp.uni-trier.de/db/conf/strict/strict1995.html#Rensink95 %@ 978-3-540-19982-3

@inproceedings{conf/strict/Rensink95, added-at = {2019-06-25T00:00:00.000+0200}, author = {Rensink, Arend}, biburl = {https://www.bibsonomy.org/bibtex/23b5d7d67d7dfaf4fd9786dada1f4699a/dblp}, booktitle = {STRICT}, crossref = {conf/strict/1995}, editor = {Desel, Jörg}, ee = {https://doi.org/10.1007/978-1-4471-3078-9_20}, interhash = {2d1b4fabb2fd2f7d5d1b7418e5b4f086}, intrahash = {3b5d7d67d7dfaf4fd9786dada1f4699a}, isbn = {978-3-540-19982-3}, keywords = {dblp}, pages = {294-309}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-26T11:40:39.000+0200}, title = {An Event-Based SOS for a Language with Refinement.}, url = {http://dblp.uni-trier.de/db/conf/strict/strict1995.html#Rensink95}, year = 1995 }