European Association for Theoretical Computer Science. Bulletin
ISSNs: 0252-9742
European Association for Theoretical Computer Science
Central database
Tidsskrift
Publikationer
(3)- Udgivet
20 Years of Modal and Mixed Specifications
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Conservative Extension in Structural Operational Semantics
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
UPPAAL2k
Publikation: Forskning - peer review › Tidsskriftartikel
ID: 15239800