Inproceedings,
Bounded model checking for knowledge and real time.
B. Wozna, A. Lomuscio, and W. Penczek.AAMAS, page 165-172. ACM, (2005)
Meta data
- BibTeX key
- conf/atal/WoznaLP05
- entry type
- inproceedings
- booktitle
- AAMAS
- year
- 2005
- pages
- 165-172
- publisher
- ACM
- crossref
- conf/atal/2005
- ee
- https://doi.org/10.1145/1082473.1082498
- isbn
- 1-59593-094-9
- url
- http://dblp.uni-trier.de/db/conf/atal/aamas2005.html#WoznaLP05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/atal/WoznaLP05
%A Wozna, Bozena
%A Lomuscio, Alessio
%A Penczek, Wojciech
%B AAMAS
%D 2005
%E Dignum, Frank
%E Dignum, Virginia
%E Koenig, Sven
%E Kraus, Sarit
%E Singh, Munindar P.
%E Wooldridge, Michael J.
%I ACM
%K dblp
%P 165-172
%T Bounded model checking for knowledge and real time.
%U http://dblp.uni-trier.de/db/conf/atal/aamas2005.html#WoznaLP05
%@ 1-59593-094-9
@inproceedings{conf/atal/WoznaLP05,
added-at = {2019-09-16T00:00:00.000+0200},
author = {Wozna, Bozena and Lomuscio, Alessio and Penczek, Wojciech},
biburl = {https://www.bibsonomy.org/bibtex/22e6d065cd58bcda528b4fe08bfb06922/dblp},
booktitle = {AAMAS},
crossref = {conf/atal/2005},
editor = {Dignum, Frank and Dignum, Virginia and Koenig, Sven and Kraus, Sarit and Singh, Munindar P. and Wooldridge, Michael J.},
ee = {https://doi.org/10.1145/1082473.1082498},
interhash = {e1311a2e333da3f4d3fedbe2a5450079},
intrahash = {2e6d065cd58bcda528b4fe08bfb06922},
isbn = {1-59593-094-9},
keywords = {dblp},
pages = {165-172},
publisher = {ACM},
timestamp = {2019-09-17T13:11:13.000+0200},
title = {Bounded model checking for knowledge and real time.},
url = {http://dblp.uni-trier.de/db/conf/atal/aamas2005.html#WoznaLP05},
year = 2005
}