Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993: Proceedings (Lecture Notes in Computer Science)

Executable

by Michael Fisher

Paperback

ISBN: 978-0-387-58976-3

ISBN-10: 0-387-58976-7

Springer Nature · 1995
See also:
2008TaschenbuchExecutable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science (897), Band 897)