%0 Conference Paper %1 conf/hybrid/PintoCPS06 %A Pinto, Alessandro %A Carloni, Luca P. %A Passerone, Roberto %A Sangiovanni-Vincentelli, Alberto L. %B HSCC %D 2006 %E Hespanha, João P. %E Tiwari, Ashish %I Springer %K dblp %P 491-506 %T Interchange Format for Hybrid Systems: Abstract Semantics. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2006.html#PintoCPS06 %V 3927 %@ 3-540-33170-0

@inproceedings{conf/hybrid/PintoCPS06, added-at = {2024-05-07T00:00:00.000+0200}, author = {Pinto, Alessandro and Carloni, Luca P. and Passerone, Roberto and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2833ae819fac3b77fa981d3f0cb4c5026/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2006}, editor = {Hespanha, João P. and Tiwari, Ashish}, ee = {https://www.wikidata.org/entity/Q57380581}, interhash = {098ae78359965d34b53b284eea3b2d52}, intrahash = {833ae819fac3b77fa981d3f0cb4c5026}, isbn = {3-540-33170-0}, keywords = {dblp}, pages = {491-506}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:57:27.000+0200}, title = {Interchange Format for Hybrid Systems: Abstract Semantics.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2006.html#PintoCPS06}, volume = 3927, year = 2006 }