%0 Conference Paper %1 conf/lics/BonchiKM06 %A Bonchi, Filippo %A König, Barbara %A Montanari, Ugo %B LICS %D 2006 %I IEEE Computer Society %K %P 69-80 %T Saturated Semantics for Reactive Systems. %U http://dblp.uni-trier.de/db/conf/lics/lics2006.html#BonchiKM06 %@ 0-7695-2631-4

@inproceedings{conf/lics/BonchiKM06, added-at = {2023-12-13T02:39:07.000+0100}, author = {Bonchi, Filippo and König, Barbara and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/29ea0e9e1836dfe8c2c6536d3ce5583cd/admin}, booktitle = {LICS}, crossref = {conf/lics/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.2006.46}, interhash = {81eab84e0ea953f43b7333abd5d29296}, intrahash = {9ea0e9e1836dfe8c2c6536d3ce5583cd}, isbn = {0-7695-2631-4}, keywords = {}, pages = {69-80}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T02:39:07.000+0100}, title = {Saturated Semantics for Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2006.html#BonchiKM06}, year = 2006 }