cfaed Publications

Alternating-time temporal logic with explicit programs

Reference

Andreas Herzig, Emiliano Lorini, Faustine Maffre, Dirk Walther, "Alternating-time temporal logic with explicit programs", LAMAS, 2014.

Bibtex

@misc{herzig2014alternating,
title={Alternating-time temporal logic with explicit programs},
author={Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Walther, Dirk},
year={2014},
publisher={LAMAS}
}

Downloads

No Downloads available for this publication

Related Paths

Biological Systems Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=589


Go back to publications list