12 search results - page 3 / 3 » Modal Logics for Region-based Theories of Space |
BPM
2007
Springer
13 years 11 months ago
2007
Springer
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...