Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: Richard Owens (Editor)
Publisher: Springer
Published: February 1995
Language: eng
Number of pages: 180
ISBN-13: 9780387589763