Publications

AuthID
P-00N-ZT5

Author(s)

Malik, S

Editor(s)

Clarke,EM;Henzinger,TA;Veith,H;Bloem,R

Document Type

Book Chapter

Year published

2018

Published

in Handbook of Model Checking.

Pages: 247-275

Indexing

Scopus^®

Unpaywall^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-319-10575-8_9

DBLP: reference/mc/Marques-SilvaM18

SCOPUS: 2-s2.0-85054047358

Unpaywall: 10.1007/978-3-319-10575-8_9

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links