BibSonomy :: bibtex  ::

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

Model checking cooperation, knowledge, and time--a case study

Research in Economics, 57(3): 235--265, 2003.
Authors: Wiebe van der Hoek and Michael Wooldridge
URL: http://www.sciencedirect.com/science/article/B6WWP-4985KY0-5/1/5072544df371a7cdfef5db46922de3fc
Tags: Model checking
| URL | BibTeX  
@article{vanderHoek2003,
title = {Model checking cooperation, knowledge, and time--a case study},
author = {Wiebe van der Hoek and Michael Wooldridge},
journal = {Research in Economics},
month = {Sep},
number = {3},
pages = {235--265},
url = {http://www.sciencedirect.com/science/article/B6WWP-4985KY0-5/1/5072544df371a7cdfef5db46922de3fc},
volume = {57},
year = {2003},
keywords = {Model checking }
}