Bibtex entry

 @inproceedings{ref101,
    author = {Halpern, J.Y. and Vardi, M.Y.},
    title = {Model checking v.'s theorem proving: A manifesto},
    booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning},
    pages = {325--334},
    year = {1991},
    publisher = {Morgan Kaufmann}
}
Username:
Password:
New user?
Forgotten your
password?

To post or edit items:
  1. Log in.
  2. Go to the page to be modified
  3. Choose the option to post or edit

 

Home | Publications | People | Conferences | Software | Tutorials | Other | Newsletter

Site created by Studio 4 and the Innovation and Technology Research Laboratory.

Contact

Page load time: 0.0s