1
Izdano 2013
Kazalo: ... Papers -- Tableaux-Based Decision Method for Single-Agent Linear Time -- Synchronous Temporal Epistemic...
Polni tekst
Elektronski eKnjiga
2
Izdano 2007
Kazalo: ... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...
Polni tekst
Elektronski eKnjiga