Results 311 to 311 of about 71,357 (311)
Some of the next articles are maybe not open access.
Hardware Specification with Temporal Logic: An Example
IEEE Transactions on Computers
, 1982
exaly
computer science - logic in computer science
fos: computer and information sciences
16. peace & justice
logic in computer science cs.lo
model checking
formal verification
004
logic programming
verification
previous
30
31
32
Home
-
About
-
Disclaimer
-
Privacy
