Login / Signup
L. C. Verbrugge
Publication Activity (10 Years)
Years Active: 2005-2005
Publications (10 Years): 0
</>
Publications
</>
Hans P. van Ditmarsch
,
Ji Ruan
,
L. C. Verbrugge
Model Checking Sum and Product.
Australian Conference on Artificial Intelligence
(2005)