( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface.

, , , и . ECEASST, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Fernando Rinaldi

Fernando Wiens

Fernando Boenicke

Fernando Cox

Fernando Silva

 

Другие публикации лиц с тем же именем

Integration Paradigm for Data Type and Process Specification Techniques., и . Bulletin of the EATCS, (1998)On the Correctness of Modular Systems., , и . AMAST, стр. 209-216. Springer, (1993)Symbolic graphs for attributed graph constraints.. J. Symb. Comput., 46 (3): 294-315 (2011)Role of Abstraction in Program Development - Response.. IFIP Congress, стр. 143-146. North-Holland/IFIP, (1986)Constraints for Behavioural Specifications., и . ADT, том 534 из Lecture Notes in Computer Science, стр. 220-245. Springer, (1990)The Specification Language GSBL., и . ADT, том 534 из Lecture Notes in Computer Science, стр. 31-51. Springer, (1990)On the Specification and Verification of Model Transformations., и . Semantics and Algebraic Specification, том 5700 из Lecture Notes in Computer Science, стр. 140-161. Springer, (2009)Correctness of Incremental Model Synchronization with Triple Graph Grammars., и . ICMT, том 8568 из Lecture Notes in Computer Science, стр. 74-90. Springer, (2014)A refutation procedure for proving satisfiability of constraint specifications on XML documents., и . SCSS, том 30 из EPiC Series in Computing, стр. 47-61. EasyChair, (2014)Components for Algebra Transformation Systems., и . UNIGRA, том 82 из Electronic Notes in Theoretical Computer Science, стр. 63-78. Elsevier, (2003)