dblp.uni-trier.dewww.uni-trier.de

Pedro Pablo Pérez Velasco

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
6EEPedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars and Monotone Complex Logics CoRR abs/0902.0850: (2009)
5EEPedro Pablo Pérez Velasco, Juan de Lara Jaramillo: Matrix Graph Grammars with Application Conditions CoRR abs/0902.1809: (2009)
2008
4EEPedro Pablo Pérez Velasco: Matrix Graph Grammars CoRR abs/0801.1245: (2008)
3EEPedro Pablo Pérez Velasco, Juan de Lara: Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. Electr. Notes Theor. Comput. Sci. 206: 133-152 (2008)
2006
2EEPedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. ICGT 2006: 122-137
1EEJuan de Lara, Pedro Pablo Pérez Velasco: Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2: (2006)

Coauthor Index

1Juan de Lara (Juan de Lara Jaramillo) [1] [2] [3] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)