학술논문
The ForSpec temporal logic: A new temporal property-specification language
Document Type
Conference Paper
Author
Source
In: Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc. . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2280 LNCS:296-311)
Subject
Language
English
ISSN
16113349
03029743
03029743