The SH-Verification Tool, Abstraction-Based Verification of Co-operating Systems, Formal Aspects of Computing
| Autor: | Ochsenschläger, P., Repp, J., Rieke, R., Nitsche, U. |
|---|---|
| Přispěvatelé: | Publica |
| Jazyk: | angličtina |
| Rok vydání: | 1999 |
| Předmět: | |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|