Visualization and Implementation of Temporal Action Logics
This page has been moved to
http://anton.ida.liu.se/vital/vital.html
.