Verification in the design process of large real-time systems: a case study
Alternating priority queues with non-zero switch rule
DORMAN computer program (study 2.5). Volume 1: Executive summary (final report)
Overview and critique of computer prprograms for spacecraft EMC analysis
Der computergesteuerte rangierbahnhof. Grundlagen, erreichtes, geplantes versuch seelze