::
|
tags ·
relations ·
groups ·
popular
|
help · blog · about |
| login · register |
| Authors: | Wiebe van der Hoek and Michael Wooldridge |
| URL: | http://www.sciencedirect.com/science/article/B6WWP-4985KY0-5/1/5072544df371a7cdfef5db46922de3fc |
| Tags: | Model checking |