Search results for: Mark-Oliver Stehr
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 667-693
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 150-166
Lecture Notes in Computer Science > Application and Theory of Petri Nets 1998 > Full Papers > 205-225
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Cyberphysical Systems > 110-143
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Middleware and Meta-architectures > 207-222
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Quality of Service > 285-300
Lecture Notes in Computer Science > Ubiquitous Intelligence and Computing > Distributed Systems and Services > 397-413
Lecture Notes in Computer Science > Ubiquitous Intelligence and Computing > Security, Privacy and Trustworthy > 310-325
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 329-345
2014 IEEE Military Communications Conference > 1027 - 1033
Future Generation Computer Systems > 2014 > 31 > Complete > 134-146
Science of Computer Programming > 2013 > 78 > 12 > 2453-2467