A two-level temporal logic for evolving specifications

P.Y. Schobbens, G. Saake, A. Sernadas, C. Sernadas

Research output: Contribution to journalArticlepeer-review

Filter
Participation in conference

Search results