Implied Scenario Detection in the Presence of Behaviour Constraints
| Autor: | Uchitel, Sebastian, Kramer, Jeff, Magee, Jeff |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science May 2002 65(7):65-84 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Uchitel, Sebastian, Kramer, Jeff, Magee, Jeff |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science May 2002 65(7):65-84 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect