%0 Conference Paper %1 conf/icfem/KwonA04 %A Kwon, YoungMin %A Agha, Gul %B ICFEM %D 2004 %E Davies, Jim %E Schulte, Wolfram %E Barnett, Michael %I Springer %K dblp %P 194-208 %T Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2004.html#KwonA04 %V 3308 %@ 3-540-23841-7

@inproceedings{conf/icfem/KwonA04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Kwon, YoungMin and Agha, Gul}, biburl = {https://www.bibsonomy.org/bibtex/2faaf1832ae5b9e58dfff5a73dac359ad/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2004}, editor = {Davies, Jim and Schulte, Wolfram and Barnett, Michael}, ee = {https://doi.org/10.1007/978-3-540-30482-1_21}, interhash = {f0a49512b3c9a7d03edcab8c3707277b}, intrahash = {faaf1832ae5b9e58dfff5a73dac359ad}, isbn = {3-540-23841-7}, keywords = {dblp}, pages = {194-208}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:04:30.000+0200}, title = {Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2004.html#KwonA04}, volume = 3308, year = 2004 }