{"entities":{"Q5949703":{"pageid":8126505,"ns":120,"title":"Item:Q5949703","lastrevid":97681541,"modified":"2026-06-05T15:13:21Z","type":"item","id":"Q5949703","labels":{"en":{"language":"en","value":"Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19--23, 2000. Revised tutorial lectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1677225"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949703$E3895EB6-00F7-43E0-9173-F4AE0264633A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d4b371de7824383370fd7ece4833b2328e1f8f9","datavalue":{"value":{"text":"Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19--23, 2000. Revised tutorial lectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5949703$A730DE15-7569-4E4E-92E8-BC0FD277CA52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00e44917c3502c339b84f7febe3648b608231e7f","datavalue":{"value":"0974.00044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949703$7A40DDA9-87D5-4957-B43A-62B0F9AA83F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949703$B6BFFDDB-7EA3-4AD3-BA7D-1C4216573849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c880022381002b8598c6ec7c500783e7c8149b4","datavalue":{"value":{"time":"+2001-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5949703$DE5F7A22-9112-4496-80BB-B578C71BBF68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddba04afb77735f5843081e8bc3ed4f711c46164","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Merz, Stephan}, Model checking: A tutorial overview, 3-38 [Zbl 0986.68063]  \\textit{Rushby, John}, Theorem proving for verification, 39-57 [Zbl 0986.68520]  \\textit{Valmari, Antti}, Composition and abstraction, 58-98 [Zbl 0985.68036]  \\textit{Amnell, Tobias; Behrmann, Gerd; Bengtsson, Johan; D'Argenio, Pedro R.; David, Alexandre}, UPPAAL -- now, next, and future, 99-124 [Zbl 0985.68664]  \\textit{Caillaud, Benoit; Darondeau, Philippe; H\u00e9lou\u00ebt, Lo\u00efc; Lesventes, Gilles}, HMSCs as partial specifications . . . with PNs as completions, 125-152 [Zbl 0985.68037]  \\textit{Cimatti, Alessandro}, Industrial applications of model checking, 153-168 [Zbl 0985.68653]  \\textit{Bolignano, Dominique; Le M\u00e9tayer, Daniel; Loiseaux, Claire}, Formal methods in practice: The missing links. A perspective from the security area, 169-180 [Zbl 0985.68673]  \\textit{Esparza, Javier}, Verification of systems with an infinite state space, 183-186 [Zbl 0985.68667]  \\textit{Brinksma, Ed; Tretmans, Jan}, Testing transition systems: An annotated bibliography, 187-195 [Zbl 0985.68661]  \\textit{Petrenko, Alexandre}, Fault model-driven test derivation from finite state models: Annotated bibliography, 196-205 [Zbl 0985.68677]  \\textit{Dal Zilio, Silvano}, Mobile processes: A commented bibliography, 206-222 [Zbl 0985.68524]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949703$A8666FF8-CEEE-41FE-AD4D-9558108180E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949703$D6F96A5B-6CCE-4B07-ABBF-B97A68B526A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949703$32D40483-2D04-4A8E-9170-CEA848B4E458","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55cdf7051b2dd5664185e1afa0265b7b6dcbd7fc","datavalue":{"value":"1677225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949703$C1C9FDC6-494D-4D63-AC00-539AE0C28DB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"344d29d07d629964db5414bfb987035be4606bc4","datavalue":{"value":"Nantes (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949703$F9072110-0C98-495B-96A5-977B1991C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7359bf2c7e8ae67e6fd17892b1e83904a1df6032","datavalue":{"value":"Summer school","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949703$AAF8080A-470A-42E5-8F39-B8CC1E80AAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72e5ec5bdb9b7a3eae4ceacb03afe94ab1c99b37","datavalue":{"value":"MOVEP 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949703$10EDCD96-17EF-4D93-9123-406AC361CF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2799d4dd85760ca9775ca90869678d551b2ba9b9","datavalue":{"value":"Lectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949703$F025D31F-6A8E-44F4-8616-FF1BF1808D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4e302ee6f356ecefa4beb638731fbc79c6b3bd","datavalue":{"value":"Parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949703$3396C86D-B8A3-48A7-BBCF-3AFA6413F6BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949703$38880D4E-9E12-4360-BEE9-E3B657B42896","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949703$85ED97B0-7D1B-4D8B-8024-187BF00B6C55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and verification of parallel processes. 4th Summer school, MOVEP 2000, Nantes, France, June 19--23, 2000. Revised tutorial lectures","badges":[]}}}}}