Modular Verification of Interactive Systems with an Application to Biology (Q5404087)
From MaRDI portal
scientific article; zbMATH DE number 6272180
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Verification of Interactive Systems with an Application to Biology |
scientific article; zbMATH DE number 6272180 |
Statements
Modular Verification of Interactive Systems with an Application to Biology (English)
0 references
21 March 2014
0 references
systems biology
0 references
concurrent interactive systems
0 references
modular verification
0 references
model checking
0 references
