![]() |
@article{DBLP:journals/tocl/AlurT04,
author = {Rajeev Alur and
Salvatore La Torre},
title = {Deterministic generators and games for Ltl fragments},
journal = {ACM Trans. Comput. Log.},
volume = {5},
number = {1},
year = {2004},
pages = {1-25},
ee = {http://doi.acm.org/10.1145/963927.963928},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-03-18 by Michael Ley (ley@uni-trier.de)