%0 Conference Paper %1 conf/cav/Sifakis09 %A Sifakis, Joseph %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K dblp %P 33-34 %T Component-Based Construction of Real-Time Systems in BIP. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#Sifakis09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/Sifakis09, added-at = {2018-10-03T00:00:00.000+0200}, author = {Sifakis, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/27d2ec4fd3dd75921b6885326cd67c619/dblp}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_4}, interhash = {0c22503696270300dc7616720170e205}, intrahash = {7d2ec4fd3dd75921b6885326cd67c619}, isbn = {978-3-642-02657-7}, keywords = {dblp}, pages = {33-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:06.000+0200}, title = {Component-Based Construction of Real-Time Systems in BIP.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#Sifakis09}, volume = 5643, year = 2009 }