%0 Conference Paper %1 conf/qest/SalesP09 %A Sales, Afonso %A Plateau, Brigitte %B QEST %D 2009 %I IEEE Computer Society %K dblp %P 269-278 %T Reachable State Space Generation for Structured Models which Use Functional Transitions. %U http://dblp.uni-trier.de/db/conf/qest/qest2009.html#SalesP09 %@ 978-0-7695-3808-2

@inproceedings{conf/qest/SalesP09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Sales, Afonso and Plateau, Brigitte}, biburl = {https://www.bibsonomy.org/bibtex/2d18bd6170374676b3ca2439ebe1dbead/dblp}, booktitle = {QEST}, crossref = {conf/qest/2009}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2009.29}, interhash = {0b3ee6cb79bbb067529422766d13b6c7}, intrahash = {d18bd6170374676b3ca2439ebe1dbead}, isbn = {978-0-7695-3808-2}, keywords = {dblp}, pages = {269-278}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:48:50.000+0200}, title = {Reachable State Space Generation for Structured Models which Use Functional Transitions.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2009.html#SalesP09}, year = 2009 }