%0 Conference Paper %1 conf/vveis/MohammedF10 %A Mohammed, Ammar %A Furbach, Ulrich %B MSVVEIS %D 2010 %E Sopeña, Juan Garbajosa %E Tuñón, Manuel I. Capel %I SciTePress %K dblp %P 70-79 %T Extending CTL to Specify Quantitative Temporal Requirements. %U http://dblp.uni-trier.de/db/conf/vveis/msvveis2010.html#MohammedF10 %@ 978-989-8425-12-6

@inproceedings{conf/vveis/MohammedF10, added-at = {2011-01-04T00:00:00.000+0100}, author = {Mohammed, Ammar and Furbach, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/2042e10545cc05d4b86f9be89fb9b7237/dblp}, booktitle = {MSVVEIS}, crossref = {conf/vveis/2010}, editor = {Sopeña, Juan Garbajosa and Tuñón, Manuel I. Capel}, interhash = {741e77e371dd01987c31c3bf7847984e}, intrahash = {042e10545cc05d4b86f9be89fb9b7237}, isbn = {978-989-8425-12-6}, keywords = {dblp}, pages = {70-79}, publisher = {SciTePress}, timestamp = {2011-01-05T11:32:54.000+0100}, title = {Extending CTL to Specify Quantitative Temporal Requirements.}, url = {http://dblp.uni-trier.de/db/conf/vveis/msvveis2010.html#MohammedF10}, year = 2010 }