Search results
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Frameworks and Formalization > 114-122
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Logics and Automata > 107-121
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Full papers > 298-311
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking > 534-548
Lecture Notes in Computer Science > Artificial Intelligence and Soft Computing - ICAISC 2004 > Various Problems of Artificial Intelligence > 879-884
Lecture Notes in Computer Science > Distributed Computing - IWDC 2004 > Session II A: Distributed Systems > 114-125
Communications in Computer and Information Science > Information Computing and Applications > Multimedia Networking and Computing > 537-544
Advances in Experimental Medicine and Biology > Software Tools and Algorithms for Biological Systems > Computational Methods for Microarray, Gene Expression Analysis, and Gene Regulatory Networks > 113-122
Lecture Notes in Computer Science > SDL 2007: Design for Dependable Systems > Modeling Experience and Extensions > 242-257
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Real-Time Systems > 272-287
Lecture Notes in Computer Science > Integrated Formal Methods > Model Checkers and Theorem Provers > 165-184