Franck Cassez

Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.

Bücher des Autors

3

Modeling and Verification of Parallel Processes

Modeling and Verification of Parallel Processes

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis