%0 Conference Paper %1 conf/cav/AnnichiniBS01 %A Annichini, Aurore %A Bouajjani, Ahmed %A Sighireanu, Mihaela %B CAV %D 2001 %E Berry, Gérard %E Comon, Hubert %E Finkel, Alain %I Springer %K reachability %P 368-372 %T TReX: A Tool for Reachability Analysis of Complex Systems. %V 2102 %@ 3-540-42345-1

@inproceedings{conf/cav/AnnichiniBS01, added-at = {2020-01-16T11:09:40.000+0100}, author = {Annichini, Aurore and Bouajjani, Ahmed and Sighireanu, Mihaela}, biburl = {https://www.bibsonomy.org/bibtex/2b4eee4d51baa574d0ad3a7ed1e0e803c/paves_intern}, booktitle = {CAV}, crossref = {conf/cav/2001}, editor = {Berry, Gérard and Comon, Hubert and Finkel, Alain}, ee = {https://doi.org/10.1007/3-540-44585-4_34}, interhash = {2f6537f8a4a966c796af7e0ef7b39f54}, intrahash = {b4eee4d51baa574d0ad3a7ed1e0e803c}, isbn = {3-540-42345-1}, keywords = {reachability}, pages = {368-372}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-16T11:09:40.000+0100}, title = {TReX: A Tool for Reachability Analysis of Complex Systems.}, volume = 2102, year = 2001 }