{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:34Z","timestamp":1725455614140},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540557075"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023864","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:02:35Z","timestamp":1132380155000},"page":"69-80","source":"Crossref","is-referenced-by-count":0,"title":["Feasibility of finite and infinite paths in data dependent programs"],"prefix":"10.1007","author":[{"given":"K\u0101rlis","family":"\u010cer\u0101ns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"R. Alur and D.Dili, Automata for Modelling Real-Time Systems, LNCS 443, 1990."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C.Courcoubetis and D.Dill, Model-Checking for Real-Time Systems, Proceedings from LICS'90 pp. 414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"7_CR3","unstructured":"A. Auzin\u0161, J. B\u0101rzdin\u0161, J. Bi\u010devskis, K. \u010cer\u0101ns and A. Kalnin\u0161, Automatic Construction of Test Sets: Theoretical Approach, in Baltic Computer Science, LNCS, No. 502, 1991."},{"key":"7_CR4","unstructured":"J.M.Barzdin, J.J.Bicevskis, A.A.Kalninsh, Automatic Construction of Complete Sample Systems for Program Testing, Proc. IFIP Congress, 1977, North-Holland 1977."},{"key":"7_CR5","unstructured":"B. Berthomieu and M.Menasche, An Enumerative Approach for Analyzing Time Petri Nets, Proc. IFIP Congress, 1983, North-Holland, 1983."},{"key":"7_CR6","unstructured":"CCITT Specification and Description Language (SDL), Recomendations Z.100, 1988."},{"key":"7_CR7","unstructured":"K. \u010cer\u0101ns, Reachability in Programs With Real Time, manuscript, 1991."},{"key":"7_CR8","unstructured":"K. \u010cer\u0101ns, Decidability of Bisimulation Equivalence for Parallel Timed Processes, in Proc. of Chalmers Workshop on Concurrency, G\u00f6teborg, 1991."},{"key":"7_CR9","volume-title":"technical report","author":"K. \u010cer\u0101ns","year":"1992","unstructured":"K. \u010cer\u0101ns, Decidability of Bisimulation Equivalences for Processes With Parallel Timers, technical report, Institute of mathematics and Computer Science, University of Latvia, Riga, 1992."},{"key":"7_CR10","volume-title":"Algorithmic Problems in Analysis of Real Time System Specifications, theses for a Dr.Sc.comp degree","author":"K. \u010cer\u0101ns","year":"1992","unstructured":"K. \u010cer\u0101ns, Algorithmic Problems in Analysis of Real Time System Specifications, theses for a Dr.Sc.comp degree, to appear, University of Latvia, Riga, 1992."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"C.Ghezzi, D.Mandrioli, S.Morasca and M.Pezze A General Way To Put Time in Petri Nets, ACM SIGSOFT Eng. Notes, Vol. 14, No. 3, 1989.","DOI":"10.1145\/75200.75210"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"P. Merlin and D.J. Farber, Recoverability of Communication Protocols, IEEE Trans. on Communication Protocols, Vol. COM-24, No. 9, 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"7_CR13","volume-title":"Finite and Infinite Machines","author":"M.L. Minsky","year":"1967","unstructured":"M.L.Minsky, Finite and Infinite Machines, Prentice-Hall, Englewood Cliffs, N.Y., 1967."},{"key":"7_CR14","unstructured":"Yi Wang, Real Time Behaviour of Asynchronous Agents, LNCS No. 458, 1990."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science \u2014 Tver '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0023864","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:27:20Z","timestamp":1586568440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023864"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540557075"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0023864","relation":{},"subject":[]}}