SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Hi-index | 0.00 |