Automata-Based Refinement Checking for Real-Time Systems

BIB
Brenner, Christian and Heinzemann, Christian and Schäfer, Wilhelm and Henkler, Stefan
Proceedings of Software Engineering 2013 (SE 2013)
accepted
01 / 2013
inproceedings
GI
GI
99-112