[Back]


Talks and Poster Presentations (with Proceedings-Entry):
M. Olszewski, X. Parent et al.:
"Input/Output Logic With a Consistency Check-the Case of Permission";
Talk: Deon 2020/21, München; 2021-07-21 - 2021-07-24; in: "Proceedings of DEON2020/21", (2021), ISBN: 978-1-84890-352-4; 358 - 375.

Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_297345.pdf

Created from the Publication Database of the Vienna University of Technology.