Visualization and Implementation of Temporal Action Logics

This page has been moved to  http://anton.ida.liu.se/vital/vital.html.