SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:DiVA.org:uu-48997"
 

Search: onr:"swepub:oai:DiVA.org:uu-48997" > Algorithmic Improve...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Algorithmic Improvements in Regular Model Checking

Abdulla, Parosh Aziz (author)
Uppsala universitet,Institutionen för informationsteknologi,Datorteknik
Jonsson, Bengt (author)
Uppsala universitet,Institutionen för informationsteknologi,Datorteknik
Nilsson, Marcus (author)
Uppsala universitet,Institutionen för informationsteknologi,Datorteknik
show more...
d'Orso, Julien (author)
Uppsala universitet,Institutionen för informationsteknologi,Datorteknik
show less...
 (creator_code:org_t)
2003
2003
English.
In: CAV'03, 15th Int. Conf. Computer Aided Verification. - 3540405240 ; , s. 236-248
  • Conference paper (peer-reviewed)
Subject headings
Close  

Publication and Content Type

ref (subject category)
kon (subject category)

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view