Počet záznamů: 1
Coinduction in concurrent timed systems
- 1.Komenda, Jan
Coinduction in concurrent timed systems.
Electronic Notes in Theoretical Computer Science. Roč. 264, č. 2 (2010), s. 177-197. ISSN 1571-0661
http://www.sciencedirect.com/science/article/pii/S1571066110000794
http://hdl.handle.net/11104/0188842
Počet záznamů: 1