T. Jéron, Contribution à la validation des protocoles : test d'infinitude et vérification à la volée, Thèse de l'Université de Rennes I, Mai 1991. (détails)
Conferences internationales
C. Jard, T. Jéron, Bounded Memory Algorithms for Verification On the fly, in CAV'91: Symposium on Computer Aided Verification, Aalborg, Denmark, Volume 575, Pages 192-202, Juin 1991. (détails)
T. Jéron, Testing for unboundedness of fifo channels, in STACS 91 : Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, Volume 480, Pages 322-333, Février 1991. (détails)
T. Jéron, Prototype of a verification tool, in STACS 91 (Tool Demonstration): Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, Volume 480, Pages 322-333, Février 1991. (détails)
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.
This page has been automatically generated using the bib2html program.
