First International Conference on Temporal Logic

Citation

First International Conference on Temporal Logic, Dov M. Gabbay, Hans Jürgen Ohlbach (Ed.), Lecture Notes in Computer Science, Springer-Verlag, Bonn, Germany, Lecture Notes in Computer Science, Vol. 827, July 1994, 978-3-540-58241-0.

Cross References

Jan Chomicki, Temporal Query Languages: A Survey, pp. 506-534, First International Conference on Temporal Logic, Dov M. Gabbay, Hans Jürgen Ohlbach (Ed.), Lecture Notes in Computer Science, Springer-Verlag, Bonn, Germany, Lecture Notes in Computer Science, Vol. 827, July 1994, 978-3-540-58241-0.

Resources

DOI:	`10.1007/BFb0013976`
Google:	Search for `["First International Conference on Temporal Logic"]`
ISBN:	`978-3-540-58241-0`

Bibliography Navigation: Reference List; Author Index; Title Index; Keyword Index

Generated by sharef2html on 2011-04-15, 02:00:41.