{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T21:29:08Z","timestamp":1648848548208},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2003,10,22]],"date-time":"2003-10-22T00:00:00Z","timestamp":1066780800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1007\/s10009-003-0112-y","type":"journal-article","created":{"date-parts":[[2004,3,20]],"date-time":"2004-03-20T15:55:36Z","timestamp":1079798136000},"page":"1-3","source":"Crossref","is-referenced-by-count":0,"title":["Introductory paper: scalability aspects of validation"],"prefix":"10.1007","volume":"5","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,10,22]]},"reference":[{"key":"112_CR1","doi-asserted-by":"crossref","unstructured":"Margaria, T., Yi, W. (eds.) Proceedings of TACAS 2001, the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2\u20136. Proceedings LNCS, vol. 2031. Springer Verlag, 2001","DOI":"10.1007\/3-540-45319-9"},{"key":"112_CR2","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10009-002-0102-5","volume":"5","author":"Williams,","year":"1","unstructured":"Williams, P.F., Andersen, H.R., Hulgaard, H.: Satisfiability checking using boolean expression diagrams. Int J Softw Tools Technol Tranfer 5(1): 4, 2003","journal-title":"Int J Softw Tools Technol Tranfer"},{"key":"112_CR3","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-002-0091-4","volume":"5","author":"Yavuz-Kahveci,","year":"1","unstructured":"Yavuz-Kahveci, T., Bultan, T.: A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. Int J Softw Tools Technol Tranfer 5(1): 15, 2003","journal-title":"Int J Softw Tools Technol Tranfer"},{"key":"112_CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/s10009-002-0088-z","volume":"5","author":"Pasareanu,","year":"1","unstructured":"Pasareanu, C., Dwyer, M., Visser, W.: Finding feasible abstract counter-examples. Int J Softw Tools Technol Tranfer 5(1): 34, 2003","journal-title":"Int J Softw Tools Technol Tranfer"},{"key":"112_CR5","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10009-002-0095-0","volume":"5","author":"Ball,","year":"1","unstructured":"Ball, T., Podelski, A., Rajamani, S.: Boolean and cartesiam abstraction for model checking C programs. Int J Softw Tools Technol Tranfer 5(1): 49, 2003","journal-title":"Int J Softw Tools Technol Tranfer"},{"key":"112_CR6","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s10009-002-0094-1","volume":"5","author":"Nielsen,","year":"1","unstructured":"Nielsen, B., Skou, A.: Automated test generation from timed automata. Int J Softw Tools Technol Tranfer 5(1): 59, 2003","journal-title":"Int J Softw Tools Technol Tranfer"},{"key":"112_CR7","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/s10009-002-0085-2","volume":"5","author":"Gunter,","year":"1","unstructured":"Gunter, E., Muscholl, A., Peled, D.: Compositional message sequence charts. Int J Softw Tools Technol Tranfer 5(1): 78, 2003","journal-title":"Int J Softw Tools Technol Tranfer"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0112-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-003-0112-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0112-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T18:11:40Z","timestamp":1585678300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-003-0112-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10,22]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["112"],"URL":"https:\/\/doi.org\/10.1007\/s10009-003-0112-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10,22]]}}}