Sökning: id:"swepub:oai:DiVA.org:uu-48997" >
Algorithmic Improve...
-
Abdulla, Parosh AzizUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(författare)
Algorithmic Improvements in Regular Model Checking
- Artikel/kapitelEngelska2003
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:uu-48997
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-48997URI
Kompletterande språkuppgifter
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Jonsson, BengtUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(författare)
-
Nilsson, MarcusUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(författare)
-
d'Orso, JulienUppsala universitet,Institutionen för informationsteknologi,Datorteknik
(författare)
-
Uppsala universitetInstitutionen för informationsteknologi
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:CAV'03, 15th Int. Conf. Computer Aided Verification, s. 236-2483540405240
Internetlänk
Hitta via bibliotek
Till lärosätets databas