{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:12:45Z","timestamp":1725484365375},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441656"},{"type":"electronic","value":"9783540457398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45739-9_13","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:42:01Z","timestamp":1179283321000},"page":"185-204","source":"Crossref","is-referenced-by-count":3,"title":["Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning"],"prefix":"10.1007","author":[{"given":"Ana Fern\u00e1ndez","family":"Vilas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J. Pazos","family":"Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebeca P.","family":"D\u00edaz Redondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"13_CR1","unstructured":"Alur, R.: Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Department of Computer Science, Stanford University (1991)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Gollu, A., Puri, A., Varaiya, P.: Discretization of Timed Automata. In: Decision and Control, 33rd IEEE Conference. (1994) 957\u2013958","DOI":"10.1109\/CDC.1994.410933"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1007\/BFb0055642","volume-title":"Concurrency Theory, 9th International Conference (CON-CUR\u201998)","author":"E. Asarin","year":"1998","unstructured":"Asarin, E., Maler, O., Pnueli, A.: On Discretization of Delays in Timed Automata and Digital Circuits. In: Concurrency Theory, 9th International Conference (CON-CUR\u201998). Volume 1466 of LNCS. Springer Verlag (1998) 470\u2013484"},{"key":"13_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real Time: Theory and Practice, REX Workshop","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and Models of Real Time: A Survey. In: Real Time: Theory and Practice, REX Workshop. Volume 600 of LNCS. Springer Verlag (1992) 74\u2013106"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model Checking in Dense Real-time. Information and Computation 104 (1993) 2\u201334","journal-title":"Information and Computation"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Chechik, M., Devereux, B., Easterbrook, S.M., Lai, A., Petrovykh, V.: Efficient Multiple-Valued Model-Checking Using Lattice Representations. In: Concurrency Theory, 12th International Conference (CONCUR\u201901). (2001) 21\u201324","DOI":"10.1007\/3-540-44685-0_30"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J. Pazos Arias","year":"2001","unstructured":"Pazos Arias, J.J., Garc\u00eda Duque, J.: SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing 13 (2001) 50\u201391","journal-title":"A Case Study. Formal Aspects of Computing"},{"key":"13_CR8","unstructured":"Fern\u00e1ndez Vilas, A.: Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Cr\u00edticos. PhD thesis, Dept. Ingenier\u00eda Telem\u00e1tica, Universidad de Vigo (2002)"},{"key":"13_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-60045-0_52","volume-title":"Computer Aided Verification, 7th International Conference (CAV\u201995)","author":"O.V. Sokolsky","year":"1995","unstructured":"Sokolsky, O.V., Smolka, S.A.: Local Model Checking for Real-Time Systems. In: Computer Aided Verification, 7th International Conference (CAV\u201995). Volume 939 of LNCS., Springer Verlag (1995) 211\u2013224"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A Lattice-Theoretical Fixpoint Theorem and its Applications. Pacific Journal of Mathematics 5 (1955) 285\u2013309","journal-title":"Pacific Journal of Mathematics"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: An Introduction. Formal Aspects of Computing 7 (1995) 533\u2013549","journal-title":"Formal Aspects of Computing"},{"key":"13_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-60246-1_158","volume-title":"Mathematical Foundations of Computer Science, 20th International Symposium (MFCS\u201995)","author":"F. Laroussinie","year":"1995","unstructured":"Laroussinie, F., Larsen, K.G., Weise, C.: From Timed Automata to Logic-And Back. In: Mathematical Foundations of Computer Science, 20th International Symposium (MFCS\u201995). Volume 969 of LNCS., Springer Verlag (1995) 529\u2013539"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Wong Toi, H., Hoffmann, G.: The Control of Dense Real Time Discrete Event Systems. In: Decision and Control, 30th IEEE Conference. (1991) 1527\u20131528","DOI":"10.1109\/CDC.1991.261658"},{"key":"13_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/BFb0084802","volume-title":"Concurrency Theory, 3rd International Conference (CONCUR\u201992)","author":"R. Alur","year":"1992","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Dill, D.L., Wong Toi, H.: Minimization of Timed Transition Systems. In: Concurrency Theory, 3rd International Conference (CONCUR\u201992). Volume 630 of LNCS., Spinger Verlag (1992) 340\u2013354"},{"key":"13_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R., Borger, E., Langmaack, H.: Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. Volume 1165 of LNCS. Springer Verlag (1996)"},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-56922-7_21","volume-title":"Computer Aided Verification, 5th International Conference (CAV\u201993)","author":"K. Cerans","year":"1993","unstructured":"Cerans, K., Godskesen, J.C., Larsen, K.G.: Timed Modal Specifications-Theory and Tools. In: Computer Aided Verification, 5th International Conference (CAV\u201993). Volume 697 of LNCS., Springer Verlag (1993) 253\u2013267"},{"key":"13_CR17","unstructured":"Garc\u00eda Duque, J., Pazos Arias, J.J.: Reasoning over Inconsistent Viewpoints: How levels of agreement can evolve? In: Living With Inconsistency, 2nd International Workshop (ICSE\u201901). (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,23]],"date-time":"2019-01-23T18:45:27Z","timestamp":1548269127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441656","9783540457398"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}