Welcome to the National Transport Library Catalogue

Normal view MARC view

Utveckling av metodik för datorstöd och automatisk verifiering av reläställverk : analysrapport Boman, Mats ; Larsson, Per

By: Contributor(s): Publication details: uo Prover Technology AB. T910510-AR, 2006Description: 7 sSubject(s): Online resources:
Item type: Reports, conferences, monographs
No physical items for this record