A. Fantechi (fantechi)

Beiträge zu Philosophie.ch

Bibliography

Fantechi, A., Gnesi, S. and Ristori, G. 1994. “ACTLab: An Action Based Toolset.” in Temporal Logic. Proceedings of the ICTL Workshop, edited by Hans Jürgen Ohlbach, pp. 68–76. Saarbrücken: Max-Planck-Institut für Informatik.