CINECA IRIS Institutional Research Information System

MCC’2017 – The Seventh Model Checking Contest

Amparore E.;Beccuti M.;
2018-01-01
2018
Inglese
contributo
1 - Conferenza
The Seventh Model Checking Contest
Zaragoza, Spain
June 25-30
Internazionale
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Esperti anonimi
Springer Verlag
Berlino
GERMANIA
11090
181
209
29
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
978-3-662-58380-7
978-3-662-58381-4
2-s2.0-85057201447
https://www.springer.com/series/558
sì
FRANCIA
GERMANIA
REGNO UNITO DI GRAN BRETAGNA
DANIMARCA
PAESI BASSI
REPUBBLICA CECA
2 – prodotto con deroga d’ufficio (SOLO se editore non consente/non ha risposto)
18
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Kordon F.; Garavel H.; Hillah L.M.; Paviot-Adet E.; Jezequel L.; Hulin-Hubard F.; Amparore E.; Beccuti M.; Berthomieu B.; Evrard H.; Jensen P.G.; Le B...espandi
273
reserved
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
lToPNoC-MCC18.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 526.79 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
526.79 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/1710938
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact