{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:45:16Z","timestamp":1725561916327},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212997"},{"type":"electronic","value":"9783540247302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24730-2_12","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:00:15Z","timestamp":1280761215000},"page":"153-157","source":"Crossref","is-referenced-by-count":5,"title":["Tampere Verification Tool"],"prefix":"10.1007","author":[{"given":"Heikki","family":"Virtanen","sequence":"first","affiliation":[]},{"given":"Henri","family":"Hansen","sequence":"additional","affiliation":[]},{"given":"Antti","family":"Valmari","sequence":"additional","affiliation":[]},{"given":"Juha","family":"Nieminen","sequence":"additional","affiliation":[]},{"given":"Timo","family":"Erkkil\u00e4","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/CSD.2003.1207709","volume-title":"Proceedings of the third international conference on Application of Concurrency to System Design (ACSD 2003)","author":"H. Hansen","year":"2003","unstructured":"Hansen, H., Virtanen, H., Valmari, A.: Merging state-based and action-based verification. In: Proceedings of the third international conference on Application of Concurrency to System Design (ACSD 2003), pp. 150\u2013156. IEEE, Los Alamitos (2003)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-46419-0_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Helovuo","year":"2000","unstructured":"Helovuo, J., Valmari, A.: Checking for CFFD-preorder with tester processes. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 283\u2013298. Springer, Heidelberg (2000)"},{"key":"12_CR3","series-title":"Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science, vol.\u00a01, 234 pages. Springer, Heidelberg (1992)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BFb0084793","volume-title":"CONCUR \u201992","author":"R. Kaivola","year":"1992","unstructured":"Kaivola, R., Valmari, A.: The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 207\u2013221. Springer, Heidelberg (1992)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Kangas, A., Valmari, A.: Verification with the undefined: A new look. In: Arts, T., Fokkink, W. (eds.) Proceedings of Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003). ENTCS, vol.\u00a080 (2003)","DOI":"10.1016\/S1571-0661(04)80813-2"},{"key":"12_CR6","unstructured":"Karsisto, K.: A New Parallel Composition Operator for Verification Tools. PhD thesis, Tampere University of Technology (2003)"},{"key":"12_CR7","unstructured":"Lepp\u00e4nen, S., Luukkainen, M.: Compositional verification of a third generation mobile communication protocol. In: Lai, T.-H. (ed.) Proceedings of the 1st Workshop on Distributed System Validation and Verification, pp. E118\u2013E125 (2000)"},{"key":"12_CR8","unstructured":"Tvt-project home page, http:\/\/www.cs.tut.fi\/ohj\/VARG\/TVT\/"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/BFb0024669","volume-title":"FME \u201993: Industrial-Strength Formal Methods","author":"A. Valmari","year":"1993","unstructured":"Valmari, A., Kemppainen, J., Clegg, M., Levanto, M.: Putting advanced reachability analysis techniques together: the ARA tool. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol.\u00a0670, pp. 597\u2013616. Springer, Heidelberg (1993)"},{"key":"12_CR10","first-page":"3","volume-title":"Proceedings of Protocol Specification, Testing and Verification XI","author":"A. Valmari","year":"1991","unstructured":"Valmari, A., Tienari, M.: An improved failures equivalence for finite-state systems with a reduction algorithm. In: Proceedings of Protocol Specification, Testing and Verification XI, pp. 3\u201318. North Holland, Amsterdam (1991)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Valmari, A., Virtanen, H., Puhakka, A.: Context-sensitive visibility. In: Cleaveland, R., Garavel, H. (eds.) FMICS 2002 7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. ENCTS, vol.\u00a066, pp. 201\u2013217 (2002)","DOI":"10.1016\/S1571-0661(04)80412-2"},{"key":"12_CR12","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","first-page":"213","volume-title":"Proceedings of POMIV 1996, Workshop on Partial Order Methods in Verification","author":"A. Valmari","year":"1996","unstructured":"Valmari, A.: Stubborn set methods for process algebras. In: Proceedings of POMIV 1996, Workshop on Partial Order Methods in Verification, July 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a029, pp. 213\u2013231. American Mathematical Society, Providence (1996)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-60973-3_90","volume-title":"FME \u201996: Industrial Benefit and Advances in Formal Methods","author":"A. Valmari","year":"1996","unstructured":"Valmari, A., Set\u00e4l\u00e4, M.: Visual verification of safety and liveness. In: Gaudel, M.-C., Woodcock, J.C.P. (eds.) FME 1996. LNCS, vol.\u00a01051, pp. 228\u2013247. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24730-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:18:24Z","timestamp":1559359104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24730-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212997","9783540247302"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24730-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}