Model checking using adaptive state and data abstraction
| Autor: | Dams, D.R., Gerth, R.T., Döhmen, G., Herrmann, R., Kelb, P., Pargmann, H., Dill, D.L. |
|---|---|
| Přispěvatelé: | Mathematics and Computer Science |
| Jazyk: | angličtina |
| Rok vydání: | 1994 |
| Zdroj: | Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994), 455-467 STARTPAGE=455;ENDPAGE=467;TITLE=Computer Aided Verification (Proceedings 6th International Conference, CAV'94, Stanford CA, USA, June 21-23, 1994) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|