%0 Conference Paper %1 conf/fmics/BonakdarpourK06 %A Bonakdarpour, Borzoo %A Kulkarni, Sandeep S. %B FMICS/PDMC %D 2006 %E Brim, Lubos %E Haverkort, Boudewijn R. %E Leucker, Martin %E van de Pol, Jaco %I Springer %K dblp %P 261-276 %T Automated Incremental Synthesis of Timed Automata. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2006.html#BonakdarpourK06 %V 4346 %@ 978-3-540-70951-0

@inproceedings{conf/fmics/BonakdarpourK06, added-at = {2017-05-21T00:00:00.000+0200}, author = {Bonakdarpour, Borzoo and Kulkarni, Sandeep S.}, biburl = {https://www.bibsonomy.org/bibtex/24d8a502135cfa88a8332b7e34f543ddc/dblp}, booktitle = {FMICS/PDMC}, crossref = {conf/fmics/2006}, editor = {Brim, Lubos and Haverkort, Boudewijn R. and Leucker, Martin and van de Pol, Jaco}, ee = {https://doi.org/10.1007/978-3-540-70952-7_17}, interhash = {78175222b7ecee4cb8c276afa2632e96}, intrahash = {4d8a502135cfa88a8332b7e34f543ddc}, isbn = {978-3-540-70951-0}, keywords = {dblp}, pages = {261-276}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:45.000+0200}, title = {Automated Incremental Synthesis of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2006.html#BonakdarpourK06}, volume = 4346, year = 2006 }