%0 Conference Paper %1 conf/fase/AlrajehKRU12 %A Alrajeh, Dalal %A Kramer, Jeff %A Russo, Alessandra %A Uchitel, Sebastián %B FASE %D 2012 %E de Lara, Juan %E Zisman, Andrea %I Springer %K %P 377-393 %T Learning from Vacuously Satisfiable Scenario-Based Specifications. %U http://dblp.uni-trier.de/db/conf/fase/fase2012.html#AlrajehKRU12 %V 7212 %@ 978-3-642-28871-5

@inproceedings{conf/fase/AlrajehKRU12, added-at = {2023-12-13T06:36:27.000+0100}, author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/271d9762b522ce0338351e5174df6c467/admin}, booktitle = {FASE}, crossref = {conf/fase/2012}, editor = {de Lara, Juan and Zisman, Andrea}, ee = {https://doi.org/10.1007/978-3-642-28872-2_26}, interhash = {af8438f7d8fc471846117d3f8ec601f6}, intrahash = {71d9762b522ce0338351e5174df6c467}, isbn = {978-3-642-28871-5}, keywords = {}, pages = {377-393}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:36:27.000+0100}, title = {Learning from Vacuously Satisfiable Scenario-Based Specifications.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2012.html#AlrajehKRU12}, volume = 7212, year = 2012 }