Results 311 to 312 of about 221,743 (312)
Some of the next articles are maybe not open access.
Handbook of Model Checking
2018
openaire
copy doi
(10.1007/978-3-319-10575-8)
openaccessbutton.org (pdf)
+1 more source
Symbolic Model Checking
1993
openaire
copy doi
(10.1007/978-1-4615-3190-6)
openaccessbutton.org (pdf)
+1 more source
mathematics
computer science - logic in computer science
formal verification
d.2.4
rule checking
f.1.1
fos: computer and information sciences
previous
30
31
32
Home
-
About
-
Disclaimer
-
Privacy
