Language
Publisher
Subjects
-
All (
)
-
Free, open source (
)
2Result(s)for '" Bjorner N."'
Resource list
By Bjorner N. Browne A. Manna Z. in Theoretical Computer Science
ISSN:0304-3975|173|1|49-87
Elsevier(1997)
Access to resources
Favorite
10.015856
By Bjorner N.S. Manna Z. Sipma H.B. Uribe T.E. in Theoretical Computer Science
ISSN:0304-3975|253|1|27-60
Elsevier(2001)
Access to resources
Favorite
1.6442859