On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Dates et versions

hal-00779899 , version 1 (22-01-2013)

Identifiants

Citer

Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon. On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. Proceedings of the 5th International Conference on Graph Transformations (ICGT'10), 2010, Enschede, Netherlands. pp.91-106, ⟨10.1007/978-3-642-15928-2_7⟩. ⟨hal-00779899⟩
59 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More