Academic Journal
Verifying Asynchronous Hyperproperties in Reactive Systems
| Τίτλος: | Verifying Asynchronous Hyperproperties in Reactive Systems |
|---|---|
| Συγγραφείς: | Beutner, Raven, Finkbeiner, Bernd |
| Πηγή: | Proceedings of the ACM on Programming Languages. 9(OOPSLA2):2227-2253 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3763130 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!