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
SOFTWARE ENGINEERING JOURNAL
Journal
Identifier:
E156668
ISSN:
0268-6961
Overview
Overview
Outputs (2)
An Abstract Execution Model for Basic LOTOS
Academic Article
Implementation of Static Semantic Analysis of LOTOS Specifications
Academic Article
No Results Found