Search: onr:"swepub:oai:DiVA.org:uu-94524" >
Decidability and Co...
-
Abdulla, ParoshUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DOCS,APV
(author)
Decidability and Complexity Results for Timed Automata via Channel Machines
- Article/chapterUndefined language2005
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:DiVA.org:uu-94524
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-94524URI
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-79081URI
Supplementary language notes
-
Language:Undefined language
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:art swepub-publicationtype
Added entries (persons, corporate bodies, meetings, titles ...)
-
Deneux, JohannUppsala universitet,Institutionen för informationsteknologi
(author)
-
Ouaknine, Joël
(author)
-
Worrell, James
(author)
-
Uppsala universitetInstitutionen för informationsteknologi
(creator_code:org_t)
Related titles
-
In:LNCS3580
-
In:Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming3580
Internet link
Find in a library
To the university's database