Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings: 897 (Lecture Notes in Computer Science)
by Richard Owens,Michael Fisher
ISBN 13: 9783540589761
Format: Illustrated (196 pages) Publisher: Springer Published: 13 Jun 2008
Save for later