Articles with public access mandates - Étienne André - National Research Foundation, SingaporeLearn more
NoteFor this mandate, articles should be available from specific locations.
Available based on mandate: 1
strategFTO: Untimed control for timed opacity
É André, S Bolat, E Lefaucheux, D Marinho
Proceedings Of The 8th ACM SIGPLAN International Workshop On Formal …, 2022
Publication and funding information is determined automatically by a computer program