Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 5 from your keywords: author=WEISSENBACHER, Georg
cover
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Comment Share
CHOCKLER, HanaWeissenbacher, George

Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…

Edition
-
ISBN/ISSN
978-3-319-96142-2
Collation
1 online resource (553 Pages)
Series Title
-
Call Number
005.14 CHO c
cover
Computer Aided Verification; 30th International Conference, CAV 2018, Held as…
Comment Share
CHOCKLER, HanaWeissenbacher, George

Kumpulan LNC 10980 dan 10981 akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-30 tentang Verifikasi Berbantuan Komputer, CAV 2018, yang diadakan di Oxford, Inggris, pada Juli 2018. 52 makalah lengkap dan 13 makalah alat yang dipresentasikan bersama dengan 3 makalah undangan dan 2 tutorial ditinjau dan dipilih dengan cermat dari 215 kiriman. Makalah ini mencakup berba…

Edition
1
ISBN/ISSN
978-3-319-96145-3
Collation
1 online resource (709 Pages)
Series Title
-
Call Number
005.14 CHO c
cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
Comment Share
CHOCKLER, HanaWEISSENBACHER, Georg

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…

Edition
1
ISBN/ISSN
-
Collation
XIX, 703
Series Title
-
Call Number
-
cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
Comment Share
CHOCKLER, HanaWEISSENBACHER, Georg

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and …

Edition
1
ISBN/ISSN
-
Collation
XX, 545
Series Title
-
Call Number
-
cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as…
Comment Share
CHOCKLER, HanaWEISSENBACHER, Georg

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and…

Edition
1
ISBN/ISSN
9783319961453
Collation
XIX, 703
Series Title
-
Call Number
-