×

zbMATH — the first resource for mathematics

Edit Profile

Burch, Jerry R.

Compute Distance To:
Author ID: burch.jerry-r
Published as: Burch, J. R.; Burch, Jerry R.
Documents Indexed: 6 Publications since 1985
all top 5

Co-Authors

2 single-authored
2 Passerone, Roberto
2 Sangiovanni-Vincentelli, Alberto L.
1 Clarke, Edmund Melson jun.
1 Dill, David L.
1 Hwang, L. J.
1 Martin, Alain J.
1 McMillan, Kenneth L.

Serials

1 Information Processing Letters
1 Information and Computation
1 Formal Methods in System Design

Fields

6 Computer science (68-XX)
2 Information and communication theory, circuits (94-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription