Domain modeling and the duration calculus [electronic resource] : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).
Saved in:
Published: |
Berlin ; New York :
Springer,
c2007.
|
---|---|
Online Access: | |
Corporate Authors: | |
Other Authors: | |
Series: | Lecture notes in computer science ;
4710 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science. Tutorial |
Subjects: | |
Format: | Electronic Conference Proceeding eBook |