I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Cloud-Based Framework for Practical Model-Checking of Indus..:

Patil, Sandeep ; Drozdov, Dmitrii ; Dubinin, Victor.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-16766-4_8.  , 2015
Link: https://hal.inria.fr/hal-01343467