Conference
Deciding Branching Hyperproperties for Real Time Systems
| Τίτλος: | Deciding Branching Hyperproperties for Real Time Systems |
|---|---|
| Συγγραφείς: | Deka, Nabarun, Zhang, Minjian, Chadha, Rohit, Viswanathan, Mahesh |
| Πηγή: | 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :65-79 Jul, 2024 |
| Relation: | 2024 IEEE 37th Computer Security Foundations Symposium (CSF) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798350362039 |
|---|---|
| ISSN: | 23748303 |
| DOI: | 10.1109/CSF61375.2024.00032 |