Modelling and Analysis of Real Time Systems with Logic Programming and Constraints
Year: 2010
Type: report
Author: Banda, Gourinath
Institution: Roskilde University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2303470490