G. Berthelot

From MaRDI portal
(Redirected from Person:225084)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Contraction of the ITCPN state space
Electronic Notes in Theoretical Computer Science
2013-08-15Paper
Specification and validation of a concurrent system: An educational project
International Journal on Software Tools for Technology Transfer. STTT
2002-09-29Paper
scientific article; zbMATH DE number 177238 (Why is no real title available?)1993-05-18Paper
scientific article; zbMATH DE number 4033100 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 3980500 (Why is no real title available?)1986-01-01Paper
scientific article; zbMATH DE number 3905851 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3921991 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3800934 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3575493 (Why is no real title available?)1976-01-01Paper


Research outcomes over time


This page was built for person: G. Berthelot