{"entities":{"Q5943774":{"pageid":8120576,"ns":120,"title":"Item:Q5943774","lastrevid":25467903,"modified":"2024-03-04T22:44:56Z","type":"item","id":"Q5943774","labels":{"en":{"language":"en","value":"Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3--7, 2000. Revised lectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1648166"}},"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":"Q5943774$4C717CAA-7FCA-475B-850E-16CA8F602FA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"765e26ec599fdcb4a26856c7ac5615a34a9eeec2","datavalue":{"value":{"text":"Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3--7, 2000. Revised lectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5943774$85F99844-6D89-4C8F-94B2-F6446F9DD44D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a81c17aa1c0832f70c0d8ba55821b95a2e852955","datavalue":{"value":"0969.00082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943774$5D32CE7C-CB03-46F7-8B17-71C44D937A69","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":"Q5943774$657500F7-53A5-4E33-A268-B61DDB0D51D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a12c476678ac830de6d391e0b3f53860587b6e09","datavalue":{"value":{"time":"+2001-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5943774$F2226E85-D176-49DA-9602-13AFCFAFE284","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bd1825dda889a586376b01ae4b2aa20913e375c","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Herzog, Ulrich}, Formal methods for performance evaluation, 1-37 [Zbl 0990.68556]  \\textit{Haverkort, Boudewijn R.}, Markovian models for performance and dependability evaluation, 38-83 [Zbl 0990.68020]  \\textit{Balbo, Gianfranco}, Introduction to stochastic Petri nets, 84-155 [Zbl 0990.68092]  \\textit{German, Reinhard}, Non-Markovian analysis, 156-182 [Zbl 0990.68504]  \\textit{Brinksma, Ed; Hermanns, Holger}, Process algebra and Markov chains, 183-231 [Zbl 0990.68021]  \\textit{Segala, Roberto}, Verification of randomized distributed algorithms, 232-260 [Zbl 0990.68640]  \\textit{Wolper, Pierre}, Constructing automata from temporal logic formulas: A tutorial, 261-277 [Zbl 0990.68088]  \\textit{Hillston, Jane}, Exploiting structure in solution: Decomposing compositional models, 278-314 [Zbl 0990.68523]  \\textit{Sanders, William H.; Meyer, John F.}, Stochastic activity networks: Formal definitions and concepts, 315-343 [Zbl 0990.68505]  \\textit{Ciardo, Gianfranco}, Distributed and structured analysis approaches to study large and complex systems, 344-374 [Zbl 0990.68506]  \\textit{Katoen, Joost-Pieter; D'Argenio, Pedro R.}, General distributions in process algebra, 375-429 [Zbl 0990.68091]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943774$D2ABEE60-D82B-4775-96A0-BBDFF6EDEA06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943774$8C1D4318-073E-4522-8726-DFA3662F6093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943774$F9318AA5-F007-4210-8569-0423AB0A5E05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"670d1f8786c7992513e5fa9ff9ca0c97ae0a4baf","datavalue":{"value":"1648166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943774$298BB9BA-8A45-4EDF-94A6-DDD76B904D4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1252c0666a1124472b5c21bc81f4dbfcfbfa5c31","datavalue":{"value":"Berg en Dal (Netherlands)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943774$A9985793-807B-4C90-B353-86183003C6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2799d4dd85760ca9775ca90869678d551b2ba9b9","datavalue":{"value":"Lectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943774$177776E1-15ED-4297-8C46-D5A800439840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7359bf2c7e8ae67e6fd17892b1e83904a1df6032","datavalue":{"value":"Summer school","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943774$66568E0D-EF32-4265-9215-69C3D4EDF5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f67ba95ef4dcb0527910a1d6eb8d0e24d870e04","datavalue":{"value":"EEF/Euro summer school","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943774$B73B6735-1BA9-48B5-9C28-E8E3D10E4C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cddfbe78787209c04a13b4d93eedbc5e7333bf3","datavalue":{"value":"Performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943774$6A0F1A33-57AE-4410-A9B2-171774954F36","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":"Q5943774$0508C7A0-B3DA-4F68-93DF-ACDC71FECE23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5943774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5943774"}}}}}