Skip to content

Logics for First-Order Team Properties.

Juha Kontinen, Fan Yang

VenueCWoLLIC
Year2019
ProceedingsWoLLIC

Browse the full WoLLIC paper archive.