%0 Conference Paper %1 conf/tacas/BodeveixF00 %A Bodeveix, Jean-Paul %A Filali, Mamoun %B TACAS %D 2000 %E Graf, Susanne %E Schwartzbach, Michael I. %I Springer %K dblp %P 204-219 %T FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2000.html#BodeveixF00 %V 1785 %@ 3-540-67282-6

@inproceedings{conf/tacas/BodeveixF00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Bodeveix, Jean-Paul and Filali, Mamoun}, biburl = {https://www.bibsonomy.org/bibtex/24e0f815b2741cfdb5d3392640395df5f/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2000}, editor = {Graf, Susanne and Schwartzbach, Michael I.}, ee = {https://doi.org/10.1007/3-540-46419-0_15}, interhash = {a599270f5bed320387a784c1a8b0cd40}, intrahash = {4e0f815b2741cfdb5d3392640395df5f}, isbn = {3-540-67282-6}, keywords = {dblp}, pages = {204-219}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:55.000+0200}, title = {FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2000.html#BodeveixF00}, volume = 1785, year = 2000 }