Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Krueger, Ingolf - Department of Computer Science and Engineering, University of California at San Diego
Ingolf Heiko Kruger An experiment in compiler design for a concurrent
Using Extended Event Traces to Describe Communication in Software Architectures 1
Service Specification with MSCs and Roles Ingolf H. Kruger
Using Message Sequence Charts for Component-Based Formal Verification
