PublicationsReasoning about Hyperproperties
| Research Area: | Uncategorized | Year: | 2013 |
|---|---|---|---|
| Type of Publication: | Phd Thesis | ||
| Authors: |
|
||
BibTex: |
|||
| Note: | partner: KUL; projects: NESSoS; No Tier; citations: 3 |
||
| [Bibtex] | |||
Project co-funded by the European Union under the Information and Communication Technologies (ICT) theme of the 7th Framework Programmefor R&D(FP7) contract n. 256980