DaftarIsitemplate
 
Call Number
SEM-253
Title
Formal verification of robotic messions and tasks, Hal. 231-238
Author
Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan;
Publisher
Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995
Subject
Location