| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Ammar Mohammed, Ulrich Furbach: Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS 2010: 70-79 |
| 3 | | Ammar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75 |
| 2 |  | Ammar Mohammed, Ulrich Furbach: Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. PROMAS 2009: 49-66 |
| 1 | | Ammar Mohammed, Ulrich Furbach: Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149 |
Selection of 4 from 6 records - Ammar Mohammed has 3 coauthors
Last update 2012-02-18 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page