%0 Journal Article %1 journals/jancl/MisraR14 %A Misra, Janardan %A Roy, Suman %D 2014 %J J. Appl. Non Class. Logics %K dblp %N 3 %P 262-291 %T A decidable timeout-based extension of linear temporal logic. %U http://dblp.uni-trier.de/db/journals/jancl/jancl24.html#MisraR14 %V 24

@article{journals/jancl/MisraR14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Misra, Janardan and Roy, Suman}, biburl = {https://www.bibsonomy.org/bibtex/2707c9ab6afd0df69e0b8a581b06d14b6/dblp}, ee = {https://doi.org/10.1080/11663081.2014.964491}, interhash = {a67f75187cdccb961ada6b8c59c001d1}, intrahash = {707c9ab6afd0df69e0b8a581b06d14b6}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = 3, pages = {262-291}, timestamp = {2024-04-09T00:40:13.000+0200}, title = {A decidable timeout-based extension of linear temporal logic.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl24.html#MisraR14}, volume = 24, year = 2014 }