Automated Deductive Verification of Parallel Systems
Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA
01.01.1997
14 pages
Also known as LFM 97
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Deductive Verification of Railway Operations
British Library Conference Proceedings | 2017
|Parallel Evaluation of a Deductive Query with a Breadth-first Search Strategy
British Library Online Contents | 2000
|Space optimization in deductive databases
TIBKAT | 1991
|Towards a Deductive Object-Oriented System
British Library Online Contents | 1998
|Automated Vehicle Occupancy Verification Systems
Transportation Research Record | 2008
|