Lecture Notes in Computer Science 616 Application and Theory of Petri Nets 1992
1992 年出版398 页ISBN:3540556761
Design Theory and Computer Science Processes and Methodology of Computer Systems Design
1991 年出版428 页ISBN:9780521118156
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2007 10th INTERNATIONAL CONFERENCE
2007 年出版384 页ISBN:9783540727873
THEORY OF STOCHASTIC DIFFERENTIAL EQUATIONS WITH JUMPS AND APPLICATIONS MATHEMATICAL AND ANALYTICAL
2005 年出版434 页ISBN:0387250832