Sciweavers

PROMAS
2007
Springer

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking

14 years 6 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where PROMAS
Authors Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Comments (0)