{"entities":{"Q1962884":{"pageid":1973626,"ns":120,"title":"Item:Q1962884","lastrevid":43450041,"modified":"2025-07-25T23:23:08Z","type":"item","id":"Q1962884","labels":{"en":{"language":"en","value":"Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5--8, 1999"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1391173"}},"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":"Q1962884$F05AEAE7-E45B-4E27-9E0D-BD325EDF8948","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7b7af05221a8525ed582b01e97553dda3954154","datavalue":{"value":{"text":"Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5--8, 1999","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1962884$68A12784-4422-4069-B097-0341EA63FDF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4c4540ff0477eb5b3e94cfe1c63f0649365ee1e","datavalue":{"value":"0932.00062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962884$CFD5037E-3FBD-454C-A1D6-C4167105F3C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a6f2bc0116d3585b3787d35b3aba4f0e8d335f51","datavalue":{"value":{"entity-type":"item","numeric-id":162381,"id":"Q162381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962884$B17C3637-0DFD-4A28-BEEB-73D193F7A06C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f91e6392d7d983ceacbbbdfa34bd6021ee98113","datavalue":{"value":{"time":"+2000-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1962884$225F8D98-3886-429F-809C-3A3A0FD0857F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c625d60b284239210d812d8c0d43b31e4ecdf717","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conferences (11th, FORTE XI, 1998 and 18th, PSTV XVIII, 1998) have been indicated (see Zbl 0905.68004).  Indexed articles:  \\textit{Petrenko, A.; Boroday, S.; Groz, R.}, Confirming configurations in EFSM, 5-24 [Zbl 0952.68092]  \\textit{Jard, Claude; J\u00e9ron, Thierry; Tanguy, L\u00e9na\u00efck; Viho, C\u00e9sar}, Remote testing can be as powerful as local testing, 25-40 [Zbl 0952.68009]  \\textit{Cavalli, Ana; Lee, David; Rinderknecht, Christian; Za\u00efdi, Fatiha}, Hit-or-jump: An algorithm for embedded testing with applications to IN services, 41-56 [Zbl 0952.68007]  \\textit{N\u00fa\u00f1ez, Manuel; Rup\u00e9rez, David}, Fair testing through probabilistic testing, 135-150 [Zbl 0952.68091]  \\textit{Bi, Jun; Wu, Jianping}, A formal approach to conformance testing of distributed routing protocols, 151-163 [Zbl 0953.68501]  \\textit{Garavel, Hubert; Sighireanu, Mihaela}, A graphical parallel composition operator for process algebras, 185-202 [Zbl 0952.68097]  \\textit{Najm, Elie; Nimour, Abdelkrim; Stefani, Jean-Bernard}, Guaranteeing liveness in an object calculus through behavioral typing, 203-221 [Zbl 0953.68084]  \\textit{Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis}, Black box checking, 225-240 [Zbl 0952.68012]  \\textit{Dong, Yifei; Ramakrishnan, C. R.}, An optimizing compiler for efficient model checking, 241-256 [Zbl 0952.68035]  \\textit{Godefroid, Patrice}, Exploiting symmetry when model-checking software. (Extended abstract), 257-275 [Zbl 0953.68520]  \\textit{Hsiung, Pao-Ann; Wang, Farn}, User-friendly verification, 279-294 [Zbl 0953.68570]  \\textit{Schenke, Michael; Dossis, Michael}, Provably correct hardware compilation using timing diagrams, 313-331 [Zbl 0953.68513]  \\textit{Kim, Myungchul; Shin, Jaehwi; Chanson, Samuel T.; Kang, Sungwon}, An enhanced model for testing asynchronous communicating systems, 337-356 [Zbl 0951.68004]  \\textit{Seol, Soonuk; Kim, Myungchul; Kang, Sungwon; Park, Yongbum; Choe, Younghan}, Interoperability test suite derivation for the TCP, 357-376 [Zbl 0953.68502]  \\textit{Zhu, Jinsong; Vuong, Son T.}, Coverage analysis for embedded testing and an application, 377-386 [Zbl 0954.68006]  \\textit{de Frutos-Escrig, David; L\u00f3pez, Natalia; N\u00fa\u00f1ez, Manuel}, Global timed bisimulation: An introduction, 401-416 [Zbl 0954.68113]  \\textit{Khoumsi, Ahmed; von Bochmann, Gregor; Dssouli, Rachida}, Protocol synthesis for real-time applications, 417-433 [Zbl 0954.68007]  \\textit{Creese, S. J.; Roscoe, A. W.}, Verifying an infinite family of inductions simultaneously using data independence and FDR, 437-452 [Zbl 0954.68511]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962884$83E35751-DEE5-4DCC-A0B4-CC618DE379DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962884$CFEE54FF-53EA-4749-911D-12E82363A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962884$F7DF48D1-67D4-471C-AC92-B57EC56F5100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0540e311ddc6878d3b311289ffc42c12509d8da7","datavalue":{"value":"1391173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962884$BFFB5BDA-A597-4D99-BCFF-96D1C9493939","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a88fec56c89f02f36c495c7210bee73164308a4","datavalue":{"value":"Beijing (China)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962884$239BB369-65A2-4D51-9A75-0EB0D2B1221C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962884$13EB64D7-1B30-4813-9DF5-146FBE2DA248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962884$767FCCCF-EA47-4937-8311-13F147061B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615cb8d061e54eec69c21fc9f154865e546088ba","datavalue":{"value":"Protocol engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962884$D7A09609-F424-4C58-B40B-2B6A18E62AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd937c78d94a6ffa9d319a2cf2f4bc8dc86f02a","datavalue":{"value":"Distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962884$0ACA9A7C-CC40-43EA-9CAD-CA278F0B8A1D","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":"Q1962884$883E8BC8-DBE0-4CC0-97F1-18183FD93760","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1962884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1962884"}}}}}