Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN:3540346996
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
LECTURE NOTES IN ENGINEERING EDITED BY C.A.BREBBIA AND S.A.ORSZAG 41 DIFFERENCE EQUATIONS FROM DIFFE
1989 年出版282 页ISBN:0387507396