Jan Martijn van der Werf
Jan Martijn van der Werf
Books
Co-authored books and collections
Books that list Jan Martijn van der Werf among their authors but not as the lead author: co-written works, collections and compilations.
Application and Theory of Petri Nets and ConcurrencyLars Michael Kristensen
Application and Theory of Petri Nets and Concurrency
Lars Michael Kristensen · 2024
Web Services, Formal Methods, and Behavioral TypesThomas Hildebrandt
Web Services, Formal Methods, and Behavioral Types
Thomas Hildebrandt · 2016