Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319)
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: Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
scientific article; zbMATH DE number 5262359
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
scientific article; zbMATH DE number 5262359 |
Statements
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (English)
0 references
11 April 2008
0 references
0 references
0.8650208115577698
0 references
0.7750000953674316
0 references
0.7740047574043274
0 references
0.7641161680221558
0 references
0.7611485123634338
0 references
