%0 Conference Paper %1 journals/entcs/MossesN09 %A Mosses, Peter D. %A New, Mark J. %B SOS@ICALP %D 2008 %E Hennessy, Matthew %E Klin, Bartek %I Elsevier %K dblp %N 4 %P 49-66 %T Implicit Propagation in Structural Operational Semantics. %U http://dblp.uni-trier.de/db/conf/sos/sos2008.html#MossesN09 %V 229

@inproceedings{journals/entcs/MossesN09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Mosses, Peter D. and New, Mark J.}, biburl = {https://www.bibsonomy.org/bibtex/2d47fb053adeb6a954409b5a900b42e2a/dblp}, booktitle = {SOS@ICALP}, crossref = {conf/sos/2008}, editor = {Hennessy, Matthew and Klin, Bartek}, ee = {https://www.wikidata.org/entity/Q57783421}, interhash = {17a2aec094898ec347bc6ef7fa167942}, intrahash = {d47fb053adeb6a954409b5a900b42e2a}, keywords = {dblp}, number = 4, pages = {49-66}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T12:15:26.000+0200}, title = {Implicit Propagation in Structural Operational Semantics.}, url = {http://dblp.uni-trier.de/db/conf/sos/sos2008.html#MossesN09}, volume = 229, year = 2008 }