Original language | English |
---|---|
Title of host publication | Domain Modelling and Duration Calculus |
Editors | Chris W. George, Zhiming Liu, Jim Woodcock |
Publisher | Springer |
Publication date | 2007 |
Pages | 119-176 |
Publication status | Published - 2007 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 4710 |