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