1
Published 2013
Table of Contents: ... Papers -- Tableaux-Based Decision Method for Single-Agent Linear Time -- Synchronous Temporal Epistemic...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...
View full text
Electronic eBook