Continuous Verification by Discrete Reasoning,
Year: 1994
Type: report
DOI: 10.21236/ada324421
Authors: Luca De Alfaro, Zohar Manna
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1919020429