A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification#

Read by A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification(info) by Cristian Calude (Source: BEATCS, no 104)


ACM Turing Award 2007 #

ACM Turing Award Honors Founders of Automatic Verification Technology (Source: http://www.acm.org)


Any further pages in alphabetic order of their title as created by you.
#

Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".
...no Data available yet!

Imprint Privacy policy « This page (revision-4) was last updated on Wednesday, 5. December 2012, 22:54 by Kaiser Dana
  • operated by