Your search returned 7 results.

Not what you expected? Check for suggestions

Results
	1.	Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski. by Jensen, Kurt Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Transactions on Petri Nets and Other Models of Concurrency I edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington. by Jensen, Kurt Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	3.	Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst. by Jensen, Kurt Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	4.	Transactions on Petri Nets and Other Models of Concurrency III edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. by Jensen, Kurt Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	5.	Transactions on Petri Nets and Other Models of Concurrency IV edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny. by Jensen, Kurt Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	6.	Transactions on Petri Nets and Other Models of Concurrency V edited by Kurt Jensen, Susanna Donatelli, Jetty Kleijn. by Jensen, Kurt Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	7.	Transactions on Petri Nets and Other Models of Concurrency VI edited by Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen. by Jensen, Kurt Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

© International Center for Chemical and Biological Sciences (ICCBS) Libraries, 2011. All rights reserved.