Skip to Main Content (Press Enter)
×
Home
People
Outputs
Organizations
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
People
Outputs
Organizations
Expertise & Skills
☰
Outputs
FORMAL METHODS IN SYSTEM DESIGN (DORDR., ONLINE)
Journal
Identifier:
E200716
ISSN:
1572-8102
Overview
Overview
Outputs (2)
Assisting requirement formalization by means of natural language translation
Academic Article
Compositional verification of concurrent systems by combining bisimulations
Academic Article
No Results Found
