Search results
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics > 48-62
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 123-145
Lecture Notes in Computer Science > Database Systems for Advanced Applications > First International Workshop on Mobile Business Collaboration (MBC’9) > 290-302
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Processes and Models > 227-241
Lecture Notes in Computer Science > Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry > New Models for Immune Mechanism Diagnosis > 1-11
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 288-307
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 178-193
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 44-63
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 603-627
Lecture Notes in Computer Science > Petri Nets: Central Models and Their Properties > Place/Transition Systems — Fundamentals > 142-167
Lecture Notes in Computer Science > Computational Science and Its Applications - ICCSA 2011 > Session on Computational Design for Technology Enhanced Learning: Methods, Languages, Applications and Tools (CD4TEL 2011) > 533-546
The International Series in Engineering and Computer Science > Advances in Automatic Control > 247-255
Lecture Notes in Computer Science > Advanced Internet Based Systems and Applications > Distributed Architectures and Applications > 180-189
Lecture Notes in Computer Science > Parle ’91 Parallel Architectures and Languages Europe > Submitted Presentations > 288-303
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Requirements Engineering > 279-293