Cerone, Antonio
Antonio Cerone
VIAF ID: 29057199 ( Personal )
Permalink: http://viaf.org/viaf/29057199
Preferred Forms
- 100 0 _ ‡a Antonio Cerone
-
-
-
- 100 1 _ ‡a Cerone, Antonio
- 100 1 _ ‡a Cerone, Antonio
- 100 1 _ ‡a Cerone, Antonio
- 100 1 _ ‡a Cerone, Antonio
-
4xx's: Alternate Name Forms (4)
5xx's: Related Names (3)
- 510 2 _ ‡a Nazarbaev Universitet ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Università di Pisa ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of South Australia ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II | |
Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures | |
Formal Methods for Software Engineering : Languages, Methods, Application Domains | |
Information technology and open source: applications for education, innovation, and sustainability revised selected papers | |
InSuEdu 2012 | |
MoKMaSD 2012 | |
OpenCert 2012 | |
SEFM 2012 | |
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers | |
Theoretical aspects of computing - ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings | |
Time based expressivity of timed Petri nets |