Shlomo Zilberstein, François Charpillet, Philippe Chassaing. Real-Time Problem-Solving with Contract Algorithms. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 1008-1015, Morgan Kaufmann, 1999.
@inproceedings{ZilbersteinCC99, title = {Real-Time Problem-Solving with Contract Algorithms}, author = {Shlomo Zilberstein and François Charpillet and Philippe Chassaing}, year = {1999}, tags = {contracts}, researchr = {https://researchr.org/publication/ZilbersteinCC99}, cites = {0}, citedby = {0}, pages = {1008-1015}, booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}, editor = {Thomas Dean}, publisher = {Morgan Kaufmann}, isbn = {1-55860-613-0}, }