Search results for: Alberto Lluch-Lafuente
Lecture Notes in Computer Science > Graph Transformations and Model-Driven Engineering > Graph Transformations: Theory and Applications > 59-86
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 349-368
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Modelling in Service-Oriented Architectures > 133-152
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Formal UML Modeling > 2-16
Lecture Notes in Computer Science > Trustworthly Global Computing > Games and Concurrent Systems > 205-221
Lecture Notes in Computer Science > Model Checking Software > Directed explicit model checking with HSF-SPIN > 57-79
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 1-20
Lecture Notes in Computer Science > Model Checking Software > Algorithms and Theoretical Foundations > 112-127
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 209-225