%0 Conference Paper %1 conf/fossacs/EdalatP06 %A Edalat, Abbas %A Pattinson, Dirk %B FoSSaCS %D 2006 %E Aceto, Luca %E Ingólfsdóttir, Anna %I Springer %K dblp %P 231-245 %T Denotational Semantics of Hybrid Automata. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2006.html#EdalatP06 %V 3921 %@ 3-540-33045-3

@inproceedings{conf/fossacs/EdalatP06, added-at = {2018-06-26T00:00:00.000+0200}, author = {Edalat, Abbas and Pattinson, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/2be9824081debd5404bb78772c7437230/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2006}, editor = {Aceto, Luca and Ingólfsdóttir, Anna}, ee = {https://doi.org/10.1007/11690634_16}, interhash = {90d36aa151a9e51c79bc08959b83a01a}, intrahash = {be9824081debd5404bb78772c7437230}, isbn = {3-540-33045-3}, keywords = {dblp}, pages = {231-245}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:18.000+0200}, title = {Denotational Semantics of Hybrid Automata.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2006.html#EdalatP06}, volume = 3921, year = 2006 }