( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A General Algebraic Framework for Studying Modular Systems.

, и . WADT, том 1827 из Lecture Notes in Computer Science, стр. 271-290. Springer, (1999)

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 Wiens

Fernando Rinaldi

Fernando Boenicke

Fernando Cox

Fernando Silva

 

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

On the Specification and Verification of Model Transformations., и . Semantics and Algebraic Specification, том 5700 из Lecture Notes in Computer Science, стр. 140-161. Springer, (2009)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 Correctness of Modular Systems., , и . AMAST, стр. 209-216. Springer, (1993)Integration Paradigm for Data Type and Process Specification Techniques., и . Bulletin of the EATCS, (1998)Symbolic graphs for attributed graph constraints.. J. Symb. Comput., 46 (3): 294-315 (2011)Correctness of Incremental Model Synchronization with Triple Graph Grammars., и . ICMT, том 8568 из Lecture Notes in Computer Science, стр. 74-90. Springer, (2014)Architectural Connectors for Sequence Diagrams., и . PROLE, том 206 из Electronic Notes in Theoretical Computer Science, стр. 111-131. Elsevier, (2007)Unification of Drags., и . UNIF, стр. 8:1-8:7. (2020)Class-Sort Polymorphism in GLIDER., , и . COMPASS/ADT, том 1130 из Lecture Notes in Computer Science, стр. 143-160. Springer, (1995)