2016
Invited tutorial at Automata, Logic and Games, Singapore, 2016.
Publication
Publication
Additional Metadata | |
---|---|
Organisation | Computer Security |
Rutten, J. (2016, January). Invited tutorial at Automata, Logic and Games, Singapore, 2016. |