Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Projects
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
unirc.it
IT
EN
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Projects
Expertise & Skills
☰
Outputs
PERIODICA POLYTECHNICA. TRANSPORTATION ENGINEERING
Journal
Identifier:
E130151
ISSN:
0303-7800
Overview
Overview
Outputs
Combining Abduction and Model Checking Techniques
Academic Article
No Results Found
