%0 Conference Paper %1 conf/ecbs/DiazNCVC07 %A Díaz, Gregorio %A Navarro, Elena %A Cambronero, María-Emilia %A Valero, Valentín %A Cuartero, Fernando %B ECBS %D 2007 %I IEEE Computer Society %K dblp %P 503-514 %T Testing Time Goal-Driven Requirements with Model Checking Techniques. %U http://dblp.uni-trier.de/db/conf/ecbs/ecbs2007.html#DiazNCVC07 %@ 0-7695-2772-8

@inproceedings{conf/ecbs/DiazNCVC07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Díaz, Gregorio and Navarro, Elena and Cambronero, María-Emilia and Valero, Valentín and Cuartero, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2ab09c69db69ada565926203a159f3f25/dblp}, booktitle = {ECBS}, crossref = {conf/ecbs/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECBS.2007.70}, interhash = {bdb2e9f28d17c841edfbc00b606eb544}, intrahash = {ab09c69db69ada565926203a159f3f25}, isbn = {0-7695-2772-8}, keywords = {dblp}, pages = {503-514}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:10:34.000+0200}, title = {Testing Time Goal-Driven Requirements with Model Checking Techniques.}, url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2007.html#DiazNCVC07}, year = 2007 }