DMCA

Revisiting Timed Specification Theories: A Linear-Time Perspective

by Chris Chilton , Marta Kwiatkowska , Xu Wang
Citations:4 - 2 self