BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.

J. Log. Comput., 16(5): 559-578, 2006.
Authors: Jan Broersen and Andreas Herzig and Nicolas Troquard
URL: http://dblp.uni-trier.de/db/journals/logcom/logcom16.html#BroersenHT06
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/logcom/BroersenHT06,
title = {Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.},
author = {Jan Broersen and Andreas Herzig and Nicolas Troquard},
journal = {J. Log. Comput.},
number = {5},
pages = {559-578},
url = {http://dblp.uni-trier.de/db/journals/logcom/logcom16.html#BroersenHT06},
volume = {16},
year = {2006},
description = {dblp},
ee = {http://dx.doi.org/10.1093/logcom/exl025}, date = {2007-01-30},
keywords = {dblp }
}