Toggle navigation
Home
People
Departments
Research
About
Login
Search
Structuring and Design of Reactive Systems Using RSDS and B.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Maibaum, Thomas
Lano, Kevin
Androutsopoulos, Kelly
Clark, David
publication date
2000
published in
FASE
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-67261-3
Additional Document Info
start page
97
end page
111
volume
1783