%0 Conference Paper %1 conf/wflp/BrodoBF20 %A Brodo, Linda %A Bruni, Roberto %A Falaschi, Moreno %B WFLP %D 2020 %E Hanus, Michael %E Coen, Claudio Sacerdoti %I Springer %K dblp %P 3-21 %T SOS Rules for Equivalences of Reaction Systems. %U http://dblp.uni-trier.de/db/conf/wflp/wflp2020.html#BrodoBF20 %V 12560 %@ 978-3-030-75333-7

@inproceedings{conf/wflp/BrodoBF20, added-at = {2021-05-16T00:00:00.000+0200}, author = {Brodo, Linda and Bruni, Roberto and Falaschi, Moreno}, biburl = {https://www.bibsonomy.org/bibtex/291243edb63d5271d82f790dcbd63d284/dblp}, booktitle = {WFLP}, crossref = {conf/wflp/2020}, editor = {Hanus, Michael and Coen, Claudio Sacerdoti}, ee = {https://doi.org/10.1007/978-3-030-75333-7_1}, interhash = {e0cf311bde626fc82506c793fa5d7d81}, intrahash = {91243edb63d5271d82f790dcbd63d284}, isbn = {978-3-030-75333-7}, keywords = {dblp}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:33:53.000+0200}, title = {SOS Rules for Equivalences of Reaction Systems.}, url = {http://dblp.uni-trier.de/db/conf/wflp/wflp2020.html#BrodoBF20}, volume = 12560, year = 2020 }