Location of Repository

Congruence properties of the process equivalence induced by temporal logic

By P. Schnoebelen, 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle Informatique et Mathematiques Appliquees de Grenoble (IMAG) and 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA) Institut National Polytechnique de Grenoble (INPG)


SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1990 n.831-I / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Topics: 06D - Bionics, 09H - Computer software, programming
Year: 1990
OAI identifier:
Provided by: OpenGrey Repository
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/10068/19... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.