.245
a	Formal techniques for verification of complex real-time system
h	Tugas Akhir Disertasi-NonITB
.020
a	90-386-1930-8
.100
a	GEILEN, Marc Constantijn Willem
.005
a	20080208100955
.260
a	Eindhoven
b	Technische Universiteit Eindhove
c	2002
.041
a	Inggris
.084
a	004.33 GEI
.300
a	xii, 264 hlm.: gamb., tab.
b	25 cm
c	xii, 264 hlm.: gamb., tab.; 25 cm
.336
a	Tugas Akhir Disertasi-NonITB