Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation (Q5423885)
From MaRDI portal
scientific article; zbMATH DE number 5207677
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation |
scientific article; zbMATH DE number 5207677 |
Statements
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation (English)
0 references
1 November 2007
0 references
