Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Amparore, Elvio Gilberto"'
Publikováno v:
In Performance Evaluation June 2013 70(6):400-422
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Amparore, Elvio Gilberto, Beccuti, Marco, Castagno, Paolo, Franceschinis, Giuliana, Pennisi, Marzio, Pernice, Simone
Publikováno v:
2021 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3bca1aa921c3068ce372e4e7c6e0b360
https://doi.org/10.1109/bibm52615.2021.9669796
https://doi.org/10.1109/bibm52615.2021.9669796
Autor:
Kordon, Fabrice, Garavel, Hubert, Hillah, Lom-Messan, Paviot-Adet, Emmanuel, Jezequel, Loïg, Hulin-Hubard, Francis, Amparore, Elvio Gilberto, Beccuti, Marco, Berthomieu, Bernard, Evrard, Hugues, Jensen, Peter Gjøl, Botlan, Didier Le, Liebke, Torsten, Meijer, Jeroen, Srba, Jirí, Thierry-Mieg, Yann, Pol, Jaco van de, Wolf, Karsten, Koutny, Maciej, Kristensen, Lars Michael, Penczek, Wojciech
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XIII, 181-209
STARTPAGE=181;ENDPAGE=209;TITLE=Transactions on Petri Nets and Other Models of Concurrency XIII
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 Botlan, D, Liebke, T, Meijer, J, Srba, J, Thierry-Mieg, Y, van de Pol, J & Wolf, K 2018, MCC’2017 : The Seventh Model Checking Contest . in M Koutny, L M Kristensen & W Penczek (eds), Transactions on Petri Nets and Other Models of Concurrency XIII . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11090 LNCS, pp. 181-209 . https://doi.org/10.1007/978-3-662-58381-4_9
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
LNCS Transactions on Petri Nets and Other Models of Concurrency
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807
STARTPAGE=181;ENDPAGE=209;TITLE=Transactions on Petri Nets and Other Models of Concurrency XIII
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 Botlan, D, Liebke, T, Meijer, J, Srba, J, Thierry-Mieg, Y, van de Pol, J & Wolf, K 2018, MCC’2017 : The Seventh Model Checking Contest . in M Koutny, L M Kristensen & W Penczek (eds), Transactions on Petri Nets and Other Models of Concurrency XIII . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11090 LNCS, pp. 181-209 . https://doi.org/10.1007/978-3-662-58381-4_9
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII, 11090, Springer, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
LNCS Transactions on Petri Nets and Other Models of Concurrency
LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807
International audience; Created in 2011, the Model Checking Contest (MCC) is an annual competition dedicated to provide a fair evaluation of software tools that verify concurrent systems using state-space exploration techniques and model checking. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4696efcd030f01ec2ee3248e1fb6e388
https://research.utwente.nl/en/publications/ba17030e-003a-4e3b-9bea-553baf3bf0c1
https://research.utwente.nl/en/publications/ba17030e-003a-4e3b-9bea-553baf3bf0c1
