Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Expertise & Skills
IT
EN
☰
|
UNIFIND
uniss.it
IT
EN
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Expertise & Skills
☰
Outputs
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Journal
Identifier:
E085823
ISSN:
1433-2779
Overview
Overview
Outputs
ccReact: a rewriting framework for the formal analysis of reaction systems
Academic Article
No Results Found
