Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings

From Tetherless World Wiki

\begin{bibtex} @proceedings{DBLP:conf/ijcai/1993em, editor={Michael Fisher}, editor={Richard Owens}, title={Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings}, booktitle={Executable Modal and Temporal Logics}, volume={897}, publisher={Springer}, year={1995}, isbn={3-540-58976-7}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai1993em.html}, }\end{bibtex}