%0 Conference Paper %1 journals/entcs/CiminiMRG12 %A Cimini, Matteo %A Mousavi, Mohammad Reza %A Reniers, Michel A. %A Gabbay, Murdoch James %B MFPS %D 2012 %E Berger, Ulrich %E Mislove, Michael W. %I Elsevier %K dblp %P 103-116 %T Nominal SOS. %U http://dblp.uni-trier.de/db/journals/entcs/entcs286.html#CiminiMRG12 %V 286

@inproceedings{journals/entcs/CiminiMRG12, added-at = {2022-08-16T00:00:00.000+0200}, author = {Cimini, Matteo and Mousavi, Mohammad Reza and Reniers, Michel A. and Gabbay, Murdoch James}, biburl = {https://www.bibsonomy.org/bibtex/2f77caddf977c3ae017c14f5604be72bc/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2012}, editor = {Berger, Ulrich and Mislove, Michael W.}, ee = {https://www.wikidata.org/entity/Q113318086}, interhash = {0645817919342eb2281ad90badf1c3db}, intrahash = {f77caddf977c3ae017c14f5604be72bc}, keywords = {dblp}, pages = {103-116}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T06:13:22.000+0200}, title = {Nominal SOS.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs286.html#CiminiMRG12}, volume = 286, year = 2012 }