( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Covering Sharing Trees: A Compact Data Structure for Parameterized Verification

, , и . (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

Giorgio Gonnella

 

Другие публикации лиц с тем же именем

Orchestrated crowdsourced testing of a mobile web application: a case study., , , , , и . Programming, стр. 17:1-17:6. ACM, (2019)A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations., , и . LATA, том 5457 из Lecture Notes in Computer Science, стр. 71-82. Springer, (2009)Physical Web for Smart Campus Management., , , и . WEBIST, стр. 277-284. SciTePress, (2018)Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking.. CILC, том 2214 из CEUR Workshop Proceedings, стр. 97-111. CEUR-WS.org, (2018)Gamified Virtual Reality for Computational Thinking., , , , и . Gamify@SIGSOFT FSE, стр. 13-21. ACM, (2023)Push-Down Automata with Gap-Order Constraints., , , и . FSEN, том 8161 из Lecture Notes in Computer Science, стр. 199-216. Springer, (2013)Parameterized Verification and Model Checking for Distributed Broadcast Protocols.. ICGT, том 8571 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2014)Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 435-449. Springer, (2001)Towards the Automated Verification of Multithreaded Java Programs., , и . TACAS, том 2280 из Lecture Notes in Computer Science, стр. 173-187. Springer, (2002)On the Formalization of Decentralized Contact Tracing Protocols., , , , и . OVERLAY, том 2785 из CEUR Workshop Proceedings, стр. 65-70. CEUR-WS.org, (2020)