Modelling and Analysis of Real Time Systems with Logic Programming and Constraints Authors Gourinath Banda Downloads PDF Published 2010-01-01 Issue Modelling and Analysis of Real Time Systems with Logic Programming and Constraints, nr. 130, 2010 Section Hele nummeret