M. Adam, P. Burgevin, B. Caillaud, A. Couvert, J.-M. Helary, P. Ingels, C. Jard, T. Jeron, J.-M. Jezequel, R. Pedrono, M. Raynal, Distributed Computers in the Design and Analysis of Distributed Algorithms, in 1er Colloque Européen sur les Hypercubes et Calculateurs Distribués, Rennes, Octobre 1989. (détails)
C. Jard, T. Jéron, On-line model-checking for finite linear temporal logic specifications, in Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, Volume 407, Pages 275-285, Juin 1989. (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.
