AVACS -- Automatic Verification and Analysis of Complex Systems.
Year: 2007
Type: article
Source: MBMV
Author: Bernd Becker
Institution: Carl von Ossietzky Universität Oldenburg
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2398525104