Journey — Joseph Sifakis

Profile

Joseph Sifakis: born 1946; Greece / France.

Related theorems

• Model checking

Pages

• Person: Joseph Sifakis
• Journey: Joseph Sifakis
• Transcripts: Joseph Sifakis

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People