| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 27 |       | Zarrin Langari, Richard J. Trefler: Symmetry for the Analysis of Dynamic Systems. NASA Formal Methods 2011: 252-266 |
| 21 | | Zarrin Langari, Richard J. Trefler: Application of Graph Transformation in Verification of Dynamic Systems. IFM 2009: 261-276 |
| 15 | | Zarrin Langari, Richard J. Trefler: Formal Modeling of Communication Protocols by Graph Transformation. FM 2006: 348-363 |
Selection of 3 from 30 records - Richard J. Trefler has 17 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page