Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 1. ABZ Invited Talks > 4-23
Lecture Notes in Computer Science > Advanced Information Systems Engineering > Deployment Issues > 151-166
Lecture Notes in Computer Science > Advances in Artificial Intelligence – SBIA 2010 > Chapter 1: Ontologies, Knowledge Representation and Reasoning > 31-40
Lecture Notes in Computer Science > Advances in Computation and Intelligence > Section IV: Representations and Operators > 228-237
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 248-255
Lecture Notes in Computer Science > Advances in Intelligent Data Analysis X > Selected Contributions > 270-281
Lecture Notes in Computer Science > Advances in Web and Network Technologies, and Information Management > Short Paper > 528-533
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Knowledge Representation and Reasoning > 48-59
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 > Applications and Theory of Petri Nets > Regular Papers > 327-347
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints > 242-262
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 201-220