Publications 2001

Year 2001

• "Abstractions and partial order reductions for checking branching properties of Time Petri Nets", Proc. of ICATPN, LNCS 2075, pp. 323--342, 2001. PS.gz file - icatpn01.ps.gz

• Model checking for modal logics, Proc. of Workshop on Theory and Applications of Multiple-Valued Logic, pp. 85 -- 90, 2001. PS.gz file - mvl01.ps.gz

• A local approach to modal logic for multi-agent systems, Proc. of Workshop on Logic and Logical Philosophy, Dresden, 2001. PS.gz file - llp01.ps.gz

• Efficient model checking of causal-knowledge protocols, Proc. of CEEMAS'01, pp. 217 -- 226, 2001 to appear in LNCS. PS.gz file - ceemas01.ps.gz

• (co-author P. Dembinski and A. Polrola) Automated verification of infinite state concurrent systems: an improvement in model generation, Proc. of PPAM'01, to appear in LNCS, 2001. PS.gz file - ppam01.ps.gz