Search results
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 88-99
Lecture Notes in Computer Science > Rewriting Logic and Its Applications > Maude Model Checking and Debugging > 208-225
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Model Integration and Collaboration > 683-698
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Deployment Issues > 151-166
Lecture Notes in Computer Science > Computational Science and Its Applications - ICCSA 2006 > General Tracks > 905-911
Lecture Notes in Computer Science > Web Information Systems and Mining > Web Services and E-Learning > 436-443
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 130-144
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 211-230
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Cognitive Aspects of Interaction > 123-136
Lecture Notes in Computer Science > Rapid Integration of Software Engineering Techniques > Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report > 45-56
IFIP — The International Federation for Information Processing > From Specification to Embedded Systems Application > 103-114