Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch
State-Boundedness in Data-Aware Dynamic Systems
KR, 2014.
@inproceedings{KR-2014-HaririCD,
author = "Babak Bagheri Hariri and Diego Calvanese and Marco Montali and Alin Deutsch",
booktitle = "{Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning}",
ee = "http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8028",
isbn = "978-1-57735-657-8",
publisher = "{AAAI Press}",
title = "{State-Boundedness in Data-Aware Dynamic Systems}",
year = 2014,
}