%0 Conference Paper %1 conf/fsen/BoudjadarVBF13 %A Boudjadar, Abdeldjalil %A Vaandrager, Frits W. %A Bodeveix, Jean-Paul %A Filali, Mamoun %B FSEN %D 2013 %E Arbab, Farhad %E Sirjani, Marjan %I Springer %K dblp %P 111-132 %T Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/fsen/fsen2013.html#BoudjadarVBF13 %V 8161 %@ 978-3-642-40212-8

@inproceedings{conf/fsen/BoudjadarVBF13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Boudjadar, Abdeldjalil and Vaandrager, Frits W. and Bodeveix, Jean-Paul and Filali, Mamoun}, biburl = {https://www.bibsonomy.org/bibtex/2eecad2bc69399afc5f8af93f413989d1/dblp}, booktitle = {FSEN}, crossref = {conf/fsen/2013}, editor = {Arbab, Farhad and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-642-40213-5_8}, interhash = {495a0ce67f826b1c110fc90dd2b8bdc5}, intrahash = {eecad2bc69399afc5f8af93f413989d1}, isbn = {978-3-642-40212-8}, keywords = {dblp}, pages = {111-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:16:49.000+0200}, title = {Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/fsen/fsen2013.html#BoudjadarVBF13}, volume = 8161, year = 2013 }