A Logic-based Language for Modeling and Verifying Musical Processes.

Rafael Ramírez

Published in: ICMC (2006)

Keyphrases

programming language
modeling language
intermediate level
language learning
natural language
case study
query language
process model
model checking
english language
temporal aspects