Personensuche
X
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
2
Diagrammatic Algebra of First Order Logic:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5
Exploiting Adjoints in Property Directed Reachability Analy..:
, In:
?
IFIP Advances in Information and Communication Technology; Advancing Research in Information and Communication Technology ,
13
A Survey of Compositional Signal Flow Theory:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
14