Skip to content

Home Practice Lessons About

Fabrice Kordon

Books

Reliable Software Technologies - Ada-Europe 2008
Transactions on Petri Nets and Other Models of Concurrency XVIII
Models and Analysis for Distributed Systems
Distibuted Systems
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
TOOLympics Challenge 2023

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.