Number of the records: 1
Coinduction in concurrent timed systems
- 1.KOMENDA, J. Coinduction in concurrent timed systems. Electronic Notes in Theoretical Computer Science. 2010, 264(2), 177-197. ISSN 1571-0661. Available: doi: 10.1016/j.entcs.2010.07.020.
Number of the records: 1