%0 Journal Article %1 journals/jucs/Matousek04 %A Matousek, Petr %D 2004 %J J. Univers. Comput. Sci. %K dblp %N 10 %P 1469-1494 %T Tools for Parametric Verification. A Comparison on a Case Study. %U http://dblp.uni-trier.de/db/journals/jucs/jucs10.html#Matousek04 %V 10

@article{journals/jucs/Matousek04, added-at = {2023-09-07T00:00:00.000+0200}, author = {Matousek, Petr}, biburl = {https://www.bibsonomy.org/bibtex/2bdd3302cf7baa16cee5c4f7051094d36/dblp}, ee = {https://doi.org/10.3217/jucs-010-10-1469}, interhash = {84d7a9edb0376435dc38153efe1073a3}, intrahash = {bdd3302cf7baa16cee5c4f7051094d36}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 10, pages = {1469-1494}, timestamp = {2024-04-08T15:58:43.000+0200}, title = {Tools for Parametric Verification. A Comparison on a Case Study.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs10.html#Matousek04}, volume = 10, year = 2004 }