{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:54:24Z","timestamp":1725544464134},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331025"},{"type":"electronic","value":"9783540331032"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11691617_18","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T09:14:13Z","timestamp":1143537253000},"page":"293-298","source":"Crossref","is-referenced-by-count":13,"title":["jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)"],"prefix":"10.1007","author":[{"given":"Christian","family":"Topnik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eva","family":"Wilhelm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Accellera Organization, Inc. Accellera Property Specification Language 1.1 Reference Manual (2004)"},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-60045-0_38","volume-title":"Computer Aided Verification","author":"D.A. Basin","year":"1995","unstructured":"Basin, D.A., Klarlund, N.: Hardware Verification using Monadic Second- Order Logic. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 31\u201341. Springer, Heidelberg (1995)"},{"key":"18_CR3","unstructured":"Church, A.: Logic, arithmetic and automata. In: Proc. Intern. Congr. Math., pp. 23\u201335. Almqvist, Wiksells (1963)"},{"key":"18_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2892-7","volume-title":"Binary Decision Diagrams: Theory and Implementation","author":"R. Drechsler","year":"1998","unstructured":"Drechsler, R., Becker, B.: Binary Decision Diagrams: Theory and Implementation. Springer, Heidelberg (1998)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: FormulaBuilder: A Tool for Graph-based Modelling and Generation of Formulae. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering (2006)","DOI":"10.1145\/1134285.1134422"},{"key":"18_CR6","unstructured":"Lind-Nielsen, J.: BuDDy (2006), \n                    \n                      http:\/\/sourceforge.net\/projects\/buddy"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-61042-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Margaria","year":"1996","unstructured":"Margaria, T.: Fully Automatic Verification and Error Detection for Parameterized Iterative Sequential Circuits. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 258\u2013277. Springer, Heidelberg (1996)"},{"key":"18_CR8","unstructured":"Margaria, T., Mendler, M.: Model-based Automatic Synthesis and Analysis in Second-OrderMonadic Logic. In: Proceedings AAS 1997, ACM\/SIGPLAN Int. Worksh. on Automated Analysis of Software, pp. 99\u2013112 (1997)"},{"key":"18_CR9","unstructured":"Margaria, T., Mendler, M., Gsottberger, C.: Modelling and Verification of Unbounded Length Systolic Arrays in Monadic Second Order Logic. In: Proc. Infinity 1998 - Int. Workshop on Infinite State Systems, satellite to ICALP 1998, SFB-Bericht 342\/09\/98A, pp. 9\u201323. TU Munich (1998)"},{"key":"18_CR10","first-page":"431","volume-title":"Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in jETI. In: Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, pp. 431\u2013436. IEEE Computer Soc. Press, Los Alamitos (2005)"},{"key":"18_CR11","unstructured":"M\u00f8ller, A.: Program Verification with Monadic Second-Order Logic & Languages for Web Service Development. Technical report, Brics, Daimi, PhD thesis (2002)"},{"key":"18_CR12","unstructured":"Nagel, R.: jABC (2006), \n                    \n                      http:\/\/jabc.cs.uni-dortmund.de"},{"key":"18_CR13","unstructured":"Nagel, R.: jETI, \n                    \n                      http:\/\/jeti.cs.uni-dortmund.de"},{"key":"18_CR14","unstructured":"Ranjan, R.: CAL BDD (2006), \n                    \n                      http:\/\/www-cad.eecs.berkeley.edu\/Research\/calbdd\/"},{"key":"18_CR15","unstructured":"Somenzi, F.: CUDD (2006), \n                    \n                      http:\/\/vlsi.colorado.edu\/fabio\/CUDD\/cuddIntrohtml"},{"key":"18_CR16","unstructured":"Vahidi, A.: JDD (2006), \n                    \n                      http:\/\/javaddlib.sourceforge.net\/jdd\/index.html"},{"key":"18_CR17","unstructured":"Whaley, J.: JavaBDD (2006), \n                    \n                      http:\/\/javabdd.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691617_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T00:24:49Z","timestamp":1552350289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691617_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331025","9783540331032"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11691617_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}