uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Timed Automata: Semantics, Algorithms and Tools
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2003 (English)In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets, 2003, 87-124 p.Chapter in book (Refereed)
Place, publisher, year, edition, pages
2003. 87-124 p.
URN: urn:nbn:se:uu:diva-20862ISBN: 3-540-22261-8OAI: oai:DiVA.org:uu-20862DiVA: diva2:48635
Available from: 2006-12-13 Created: 2006-12-13

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Yi, Wang
By organisation
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Total: 147 hits
ReferencesLink to record
Permanent link

Direct link