author : Jan Murray
1
publication
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (PROMAS 2007 @ AAMAS 2007) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (PROMAS 2007 @ AAMAS 2007) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg