Search results for: Bruce H. Krogh
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 187-200
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 370-385
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 287-301
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 344-357
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Synthesis and Scheduling > 147-162
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 287-300
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 283-297
Lecture Notes in Computer Science > Hybrid Systems III > 475-484
Lecture Notes in Computer Science > Information Processing in Sensor Networks > Information Processing in Sensor Networks > 458-472
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 68-84
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 482-497
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 263-277