{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:21:12Z","timestamp":1752549672173},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540521488"},{"type":"electronic","value":"9783540469056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52148-8_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:22:52Z","timestamp":1330186972000},"page":"294-302","source":"Crossref","is-referenced-by-count":13,"title":["State exploration by transformation with lola"],"prefix":"10.1007","author":[{"given":"Juan","family":"Quemada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santiago","family":"Pav\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angel","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"25_CR1","unstructured":"E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS Specifications, Their Implementation and Their Tests. In Sixth International Workshop on Protocol Specification, Testing and Verification, Montreal, June 1986."},{"key":"25_CR2","unstructured":"H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Language with two Levels of Semantics. Technical Report, Tech. Universitat Berlin, 1983."},{"key":"25_CR3","unstructured":"R. Foorgard. Reve-A Program for Generating and Analyzing Term Rewriting Systems. Technical Report MIT\/LCS\/TR-343, September 1984."},{"key":"25_CR4","unstructured":"ISO. LOTOS a Formal Description Technique based on the Temporal Ordering of Observational Behaviour. IS 8807, TC97\/SC21, 1989."},{"key":"25_CR5","unstructured":"D. Frutos J. Quemada, A. Azcorra. A Timed Calculus for LOTOS. Technical Report, March 1989."},{"key":"25_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Springer-Verlag, Berlin, 1980."},{"issue":"12","key":"25_CR7","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola","year":"1984","unstructured":"R. Nicola and Hennessy, M.C.B. Testing Equivalences for Processes. Theoretical Computer Science, 34(1,2):83\u2013133, Nov 1984.","journal-title":"Theoretical Computer Science"},{"key":"25_CR8","unstructured":"J. Quemada, A. Fernandez, and J.A. Manas. LOLA: Design and Verification of Protocols using LOTOS. Ibericom, Conf. on Data Communications, Lisbon, May 1987."}],"container-title":["Lecture Notes in Computer Science","Automatic Verification Methods for Finite State Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52148-8_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:06:55Z","timestamp":1619557615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52148-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540521488","9783540469056"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-52148-8_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}