%0 Conference Paper %1 conf/wia/BrodaCFM15 %A Broda, Sabine %A Cavadas, Sílvia %A Ferreira, Miguel %A Moreira, Nelma %B CIAA %D 2015 %E Drewes, Frank %I Springer %K dblp %P 49-62 %T Deciding Synchronous Kleene Algebra with Derivatives. %U http://dblp.uni-trier.de/db/conf/wia/ciaa2015.html#BrodaCFM15 %V 9223 %@ 978-3-319-22359-9

@inproceedings{conf/wia/BrodaCFM15, added-at = {2019-09-25T00:00:00.000+0200}, author = {Broda, Sabine and Cavadas, Sílvia and Ferreira, Miguel and Moreira, Nelma}, biburl = {https://www.bibsonomy.org/bibtex/2754aa990a19806d73f7cb0de2e282846/dblp}, booktitle = {CIAA}, crossref = {conf/wia/2015}, editor = {Drewes, Frank}, ee = {https://doi.org/10.1007/978-3-319-22360-5_5}, interhash = {c2db7ea27954d1c8ae67dd52d5bd3fc9}, intrahash = {754aa990a19806d73f7cb0de2e282846}, isbn = {978-3-319-22359-9}, keywords = {dblp}, pages = {49-62}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:58:37.000+0200}, title = {Deciding Synchronous Kleene Algebra with Derivatives.}, url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2015.html#BrodaCFM15}, volume = 9223, year = 2015 }