Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
unich.it
IT
EN
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
☰
Outputs
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
Academic Article
Publication Date:
2011
Iris type:
1.1 Articolo in rivista
List of contributors:
Fioravanti, Fabio; Alberto, Pettorossi; Maurizio, Proietti; Valerio, Senni
Authors of the University:
FIORAVANTI Fabio
Handle:
https://ricerca.unich.it/handle/11564/205326
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
