Cita APA

Orejas Valdés, F., Boronat Moll, A., Golas, U., & Mylonakis Pascual, N. (2012). Checking bisimilarity for attributed graph transformation.

Citación estilo Chicago

Orejas Valdés, Fernando|||0000-0002-3023-4006, Artur Boronat Moll, Ulrike Golas, y Nicolás|||0000-0002-2535-8573 Mylonakis Pascual. Checking Bisimilarity for Attributed Graph Transformation. 2012.

Cita MLA

Orejas Valdés, Fernando|||0000-0002-3023-4006, Artur Boronat Moll, Ulrike Golas, y Nicolás|||0000-0002-2535-8573 Mylonakis Pascual. Checking Bisimilarity for Attributed Graph Transformation. 2012.