Search: onr:"swepub:oai:DiVA.org:uu-48997" >
Algorithmic Improve...
-
Abdulla, Parosh AzizUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(author)
Algorithmic Improvements in Regular Model Checking
- Article/chapterEnglish2003
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:DiVA.org:uu-48997
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-48997URI
Supplementary language notes
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kon swepub-publicationtype
Added entries (persons, corporate bodies, meetings, titles ...)
-
Jonsson, BengtUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(author)
-
Nilsson, MarcusUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(author)
-
d'Orso, JulienUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(author)
-
Uppsala universitetInstitutionen för informationsteknologi
(creator_code:org_t)
Related titles
-
In:CAV'03, 15th Int. Conf. Computer Aided Verification, s. 236-2483540405240
Internet link
Find in a library
To the university's database