Joseph Sifakis

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Provided by Wikipedia
Cover Image
Read Now

3
by Sangiovanni-Vincentelli, Alberto
Published 2002
Springer-Verlag Berlin Heidelberg
Other Authors: “...Sifakis, Joseph...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Other Authors: “...Sifakis, Joseph...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Other Authors: “...Sifakis, Joseph...”
Cover Image
Read Now

6
Published 2002
Springer Berlin Heidelberg
Other Authors: “...Sifakis, Joseph...”