Scalable Offline Monitoring.
| Autor: | Basin, David, Caronni, Germano, Ereth, Sarah, Harvan, Matúš, Klaedtke, Felix, Mantel, Heiko |
|---|---|
| Zdroj: | Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings; 2014, p31-47, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|