CITATION STYLE
Lodaya, K., Ramanujam, R., & Thiagarajan, P. S. (1993). Decidability of a partial order based temporal logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 700 LNCS, pp. 582–592). Springer Verlag. https://doi.org/10.1007/3-540-56939-1_104
Mendeley helps you to discover research relevant for your work.