%0 Journal Article %1 journals/ijfcs/FribourgK13 %A Fribourg, Laurent %A Kühne, Ulrich %D 2013 %J Int. J. Found. Comput. Sci. %K dblp %N 2 %P 233-250 %T Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs24.html#FribourgK13 %V 24

@article{journals/ijfcs/FribourgK13, added-at = {2013-06-24T00:00:00.000+0200}, author = {Fribourg, Laurent and Kühne, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/2b38cded12c7e649e8bf744d302c44453/dblp}, ee = {http://dx.doi.org/10.1142/S0129054113400091}, interhash = {07c1c018acaa8583084b433d859ab4b0}, intrahash = {b38cded12c7e649e8bf744d302c44453}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {233-250}, timestamp = {2013-08-13T12:59:17.000+0200}, title = {Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs24.html#FribourgK13}, volume = 24, year = 2013 }