Pages that link to "Item:Q269998"
From MaRDI portal
The following pages link to Principles of security and trust. 5th international conference, POST 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings (Q269998):
Displaying 4 items.
- Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings (Q518672) (← links)
- Principles of security and trust. First international conference, POST 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings (Q766307) (← links)
- A decidable class of security protocols for both reachability and equivalence properties (Q2031426) (← links)
- Principles of security and trust. 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings (Q2633616) (← links)
