Opaal:A Lattice Model Checker
| Autor: | Dalsgaard, Andreas Engelbredt, Hansen, Rene Rydhof, Jørgensen, Kenneth Yrke, Larsen, Kim Guldstrand, Olesen, Mads Chr., Olsen, Petur, Srba, Jiri |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Zdroj: | Dalsgaard, A E, Hansen, R R, Jørgensen, K Y, Larsen, K G, Olesen, M C, Olsen, P & Srba, J 2011, ' Opaal : A Lattice Model Checker ', Lecture Notes in Computer Science, vol. 6617, pp. 487-493 . https://doi.org/10.1007/978-3-642-20398-5_37 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|