|
Size: 2920
Comment:
|
Size: 2914
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| Line 10: | Line 9: |
| Line 12: | Line 10: |
Howard Barringer = http://www.cs.man.ac.uk/fmethods/people/howard.html
Roderick Bloem = http://vlsi.colorado.edu/~rbloem/
Edmund M. Clarke = http://www-2.cs.cmu.edu/~emc/
Jean-Michel Couvreur = http://www.labri.fr/~couvreur
David L. Dill = http://verify.stanford.edu/dill/
Alexandre Duret-Lutz = http://spot.lip6.fr/wiki/AlexandreDuretLutz
Kousha Etessami = http://homepages.inf.ed.ac.uk/kousha/
Michael D. Fisher = http://www.csc.liv.ac.uk/~michael/
Carsten Fritz = http://www.ti.informatik.uni-kiel.de/~fritz/
Paul Gastin = http://www.liafa.jussieu.fr/~gastin/
Dimitra Giannakopoulou = http://ase.arc.nasa.gov/people/dimitra/
Fausto Giunchiglia = http://dit.unitn.it/~fausto/
Patrice Godefroid = http://cm.bell-labs.com/who/god/
Graham D. Gough = http://www.cs.man.ac.uk/fmethods/people/graham-gough.html
Serge Haddad = http://www.lamsade.dauphine.fr/~haddad/
Gerard J. Holzmann = http://cm.bell-labs.com/cm/cs/who/gerard/
Yonit Kesten = http://www.wisdom.weizmann.ac.il/~yonit/
Flavio Lerda = http://ase.arc.nasa.gov/people/flerda/index.shtml
Zohar Manna = http://theory.stanford.edu/~zm/
Hugh McGuire = http://www.csis.gvsu.edu/~mcguire/
Kenneth L. McMillan = http://www-cad.eecs.berkeley.edu/~kenmcmil/
Shin-ichi Minato = http://www-alg.ist.hokudai.ac.jp/~minato/
Satoru Miyano = http://bonsai.ims.u-tokyo.ac.jp/people/miyano/
Denis Oddoux = http://www.liafa.jussieu.fr/~oddoux/
Doron Peled = http://www.dcs.warwick.ac.uk/~doron/
Amir Pnueli = http://www.wisdom.weizmann.ac.il/~amir/index.html
Denis Poitrenaud = http://www-src.lip6.fr/homepages/Denis.Poitrenaud/
Roberto Sebastiani = http://dit.unitn.it/~rseba/
Fabio Somenzi = http://vlsi.colorado.edu/~fabio/
Heikki Tauriainen = http://www.tcs.hut.fi/~htauriai/
Stefano Tonetta = http://www.science.unitn.it/~stonetta/
Moshe Y. Vardi = http://www.cs.rice.edu/~vardi/
François Vernadat = http://www.laas.fr/~francois/
Thomas Wilke = http://www.ti.informatik.uni-kiel.de/~wilke/
Pierre Wolper = http://www.montefiore.ulg.ac.be/~pw/
# misc. links
Lecture Notes in Computer Science = http://www.springer.de/comp/lncs/index.html
on-line LTL-to-TGBA translator = http://spot.lip6.fr/cgi-bin/ltl2tgba.py