학술논문
CTc – a tool supporting the construction of cTLA-specifications
Document Type
Conference Paper
Author
Source
In: Tools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1996, 1055:407-411)
Subject
Language
English
ISSN
16113349
03029743
03029743