Partial Order Reductions for Model Checking Temporal-Epistemic Logics Over Interleaved Multi-Agent Systems
Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2010-276
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2010
Authors
Publisher
IOS Press