Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Finite state automation
Home
Publications
Finite state automation
Finite state automation
DB
Dines Bjørner
Dines Bjørner
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1970
conference paper
Published by
Association for Computing Machinery (ACM)
https://doi.org/10.1145/1478462.1478532
Abstract
No abstract available
Cited
Cited by 1 article
Scroll to top