| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Christian Schwarz, Ammar Mohammed, Frieder Stolzenburg: A Tool Environment for Specifying and Verifying Multi-agent Systems. ICAART (2) 2010: 323-326 |
| 4 |  | Ammar Mohammed, Christian Schwarz: HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata. KI 2009: 695-702 |
Selection of 2 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