Relative Equivalence in the Presence of Ambiguity.
| Autor: | Adler, Oshri, Eisner, Cindy, Veksler, Tatyana |
|---|---|
| Zdroj: | Computer Aided Verification (9783642397981); 2013, p430-446, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Adler, Oshri, Eisner, Cindy, Veksler, Tatyana |
|---|---|
| Zdroj: | Computer Aided Verification (9783642397981); 2013, p430-446, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|