# If you add a new entry to this list, and the text alreadyBR # exists in a bibtex block generated on another page, youBR # will have to refresh the cache of that other page for theBR # change to take effect.BR

# See SpotReferences for an example of page where this list is used.

# People sorted by surname

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