Jan Martijn van der Werf
Identifiers
- Open LibraryOL9713090A
Top Subjects
- Web services (1)
- System design (1)
Books by Jan Martijn van der Werf
Total count: 2
-
Web Services, Formal Methods, and Behavioral Types11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected PapersSpringer London, Limited2016-01-01
-
Application and Theory of Petri Nets and Concurrency45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, ProceedingsSpringer2024-01-01