CINECA IRIS Institutional Research Information System

Presentation of the 9th Edition of the Model Checking Contest

Amparore Elvio Gilberto;
2019-01-01
2019
TACAS Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of
Prague
April 6-11, 2019
Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,Czech Republic, April 6-11, 2019, Proceedings, Part {III}
Springer
11429
50
68
978-303017501-6
https://doi.org/10.1007/978-3-030-17502-3_4
Amparore Elvio Gilberto , Bernard Berthomieu , Gianfranco Ciardo , Silvano Dal{-}Zilio , Francesco Gall{`{a}} , Lom{-}Messan Hillah , Francis Hulin{-}Hubard , Peter Gj{o}l Jensen , Lo{"{i}}g Jezequel , Fabrice Kordon , Didier Le Botlan , Torsten Liebke , Jeroen Meijer , Andrew S. Miner , Emmanuel Paviot{-}Adet , Jir{'{i}} Srba , Yann Thierry{-}Mieg , Tom van Dijk , Karsten Wolf
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
Presentation of the 9th Edition of the Model Checking Contest - TACAS 2019.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 686.55 kB
Formato Adobe PDF
Visualizza/Apri
686.55 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1764223
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 21
  • ???jsp.display-item.citation.isi??? 15
social impact