Cristin-resultat-ID: 2004295
Sist endret: 21. februar 2022, 21:34
Resultat
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2008

Computer Aided Verification: 33rd International Conference, CAV 2021

Bidragsytere:
  • Jaehun Lee
  • Sharon Kim
  • Kyungmin Bae og
  • Peter Csaba Ølveczky

Bok

Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Publiseringsår: 2008
Sider: 491 - 504

Lenker

original online (doi)

Klassifisering

Fagfelt (NPI)

Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

Computer Aided Verification: 33rd International Conference, CAV 2021

Bidragsytere

Jaehun Lee

  • Tilknyttet:
    Forfatter
    ved Pohang University of Science and Technology

Sharon Kim

  • Tilknyttet:
    Forfatter
    ved Pohang University of Science and Technology

Kyungmin Bae

  • Tilknyttet:
    Forfatter
    ved Pohang University of Science and Technology

Peter Csaba Ølveczky

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo
1 - 4 av 4

Resultatet er en del av Resultatet er en del av

1 - 1 av 1