Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006. (Q1002173)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006. |
scientific article; zbMATH DE number 5518708
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006. |
scientific article; zbMATH DE number 5518708 |
Statements
Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006. (English)
0 references
25 February 2009
0 references
0.9469536
0 references
0.93861395
0 references
0 references
0.89747643
0 references
0.89659905
0 references
0.89550793
0 references
0.89038867
0 references
0.8519768
0 references
