Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
AS
AEK Sahaoui
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Specification and verification of a safty shell with statcharts and extended timed graphs
Conference paper (2000) -
J. van Katwijk (author)
,
J van Katwijk (author)
,
WJ Toetenel (author)
,
WJ Toetenel (author)
,
AEK Sahaoui (author)
,
E Anderson (author)
,
J Zalewski (author)
