{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:41Z","timestamp":1725466181801},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643678"},{"type":"electronic","value":"9783540697602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053506","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:49:08Z","timestamp":1149659348000},"page":"190-207","source":"Crossref","is-referenced-by-count":2,"title":["Formal methods and customized visualization: A fruitful symbiosis"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Volker","family":"Braun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"V. Braun, T. Maxgaxia, B. Steffen, H. Yoo, T. Rychly: Safe Service Customization, Proc. IN'97, IEEE Communication Soc. Workshop on Intelligent Network, Colorado Springs, CO (USA), 4\u20137 May 1997, IEEE Comm. Soc. Press","DOI":"10.1109\/INW.1997.601576"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"M. von der Beeck, V. Braun, A. Cla\u00dfen, A. Dannecker, C. Friedrich, D. Kosch\u00fctzki, T. Margaria, F. Schreiber and B. Steffen: Graphs in METAFrame: The Unifying Power of Polymorphism, Proc. TACAS'97, Enschede (NL), April 1997, LNCS 1217, Springer Verlag, pp. 112\u2013129.","DOI":"10.1007\/BFb0035384"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Bozga M., Fernandez J.-C, Kerbrat A., Mounier L., Protocol verification with the ALDEBARAN toolset, Int. Journ. on Software Tools for Technology Transfer, Vol.1 No. 1\/2, Springer Verlag, Nov. 1997.","DOI":"10.1007\/s100090050012"},{"issue":"8","key":"15_CR4","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant: Graph-based algorithms for boolean function manipulation, IEEE Trans. Computing, vol. C-35(8), August 1986, pp. 677\u2013691.","journal-title":"IEEE Trans. Computing"},{"key":"15_CR5","unstructured":"da Vinci is available at ftp:\/\/ftp.uni-bremen.de\/pub\/graphics\/daVinci"},{"key":"15_CR6","unstructured":"H. Garavel: An Overview of the Eucalyptus Toolbox. Proc. of the COST 247 Int. Workshop on Applied Formal Methods in System Design, University of Maribor (SLO), June 1996, pp. 76\u201388."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"J. Henriksen, J. Jensen, M. J\u00d8rgensen N. Klarlund, R. Paige, T. Rauhe, A. Sandholm: Mona: Monadic second-order logic in practice, Proc. of TACAS'95, \u00e5rhus (DK), May 1995, LNCS 1019, Springer Verlag, pp. 89\u2013110.","DOI":"10.1007\/3-540-60630-0_5"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"P. Kelb, T. Margaria, M. Mendier, C. Gsottberger: Mosel: A Flexible Toolset for Monadic Second-Order Logic,\u201d TACAS'97, Enschede (NL), April 1997, LNCS 1217, Springer Verlag, pp. 183\u2013202.","DOI":"10.1007\/BFb0035388"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"P. Kelb, T. Margaria, M. Mendier, C. Gsottberger: Mosel: A sound and efficient tool for M2L(Str),\u201d Proc. CAV'97, Haifa (Israel), Juli 1997, LNCS, Springer Verlag.","DOI":"10.1007\/3-540-63166-6_45"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen: Results on the Propositional \u039c-Calculus, Theoretical Computer Science, Vol. 27, 1983, pp. 333\u2013354.","journal-title":"Theoretical Computer Science"},{"key":"15_CR11","series-title":"LNCS N. 1055","first-page":"258","volume-title":"Proc. TACAS'96","author":"T. Margaria","year":"1996","unstructured":"T. Margaria: Fully Automatic Verification and Error Detection for Parameterized Iterative Sequential Circuits, Proc. TACAS'96, Passau (D), March 1996, LNCS N. 1055, Springer Verlag, pp. 258\u2013277."},{"key":"15_CR12","unstructured":"T. Margaria: Verification of Systolic Arrays in M2L(Str), Techn. Rep. MIP-9613, Universit\u00e4t Passau, Juli 1996."},{"key":"15_CR13","unstructured":"T. Margaria, M. Griva, R. Tesio: Semantic Extraction for the Automatic Verification of VHDL Descriptions, Techn. Rep. MIP 94-11, Univ. of Passau (D), October 1994, 21 pp."},{"key":"15_CR14","series-title":"LNCS","volume-title":"METAFrame Proc. FASE'98","author":"T. Margaria","year":"1998","unstructured":"T. Margaria, B. Steffen: Backtracking-free Design Planning by Automatic Synthesis in METAFrame Proc. FASE'98, Lisbon (P), April 1998, LNCS, Springer Verlag."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration Platform: Concepts and Design, Int. Journ. on Software Tools for Technology Transfer, Vol.1 No.1\/2, Springer Verlag, Nov. 1997. See also http:\/\/eti.cs.uni-dortmund.de.","DOI":"10.1007\/s100090050003"},{"key":"15_CR16","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen: Heterogeneous Analysis and Verification for Distributed Systems, In \u201cSOFTWARE: Concepts and Tools\u201d, vol. 17, N.1, pp. 13\u201325, Springer Verlag, 1996."},{"key":"15_CR17","first-page":"450","volume-title":"LNCS","author":"B. Steffen","year":"1996","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun: The MetaFrame '95 Environment, Proc. CAV'96, Int. Conf. on Computer-Aided Design, Juli\u2013Aug. 1996, New Brunswick, NJ, USA, LNCS, pp. 450\u2013453, Springer Verlag."},{"key":"15_CR18","unstructured":"B. Steffen, T. Margaria, A. Cla\u00dfen, V. Braun, M. Reitenspie\u00df: An Environment for the Creation of Intelligent Network Services, in \u201cIntelligent Networks: IN\/AIN Technologies, Operations, Services, and Applications \u2014 A Comprehensive Report\u201d Int. Engineering Consortium, Chicago IL, 1996, pp. 287\u2013300 \u2014 reprinted in Annual Review of Communications, IEC, 1996, pp. 919\u2013935."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"P. Wolper: Where is the algorithmic support? Strategic Directions in Computing Research, Concurrency Work. Group, Pos. Statement, ACM Computing Surveys, 28A(4), Dec. 1996,http:\/\/www.montefiore.ulg.ac.be\/ pw\/sdcr\/concurrency.html","DOI":"10.1145\/242223.242252"}],"container-title":["Lecture Notes in Computer Science","Services and Visualization Towards User-Friendly Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:35:17Z","timestamp":1555655717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643678","9783540697602"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0053506","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}