ATP : une algebre pour la specification et l'analyse des systemes temps reel. (ATP: an algebra for the specification and analysis of real time systems).
X. Nicollin. Grenoble Institute of Technology, France, (1992)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Nicollin92
%A Nicollin, Xavier
%D 1992
%K
%T ATP : une algebre pour la specification et l'analyse des systemes temps reel. (ATP: an algebra for the specification and analysis of real time systems).
@phdthesis{phd/hal/Nicollin92,
added-at = {2023-12-13T02:41:03.000+0100},
author = {Nicollin, Xavier},
biburl = {https://www.bibsonomy.org/bibtex/24cc2b831789a49f08026dc8fa7bd1f57/admin},
ee = {https://tel.archives-ouvertes.fr/tel-00004732},
interhash = {8248545ec0e9886701b9e41aa307d675},
intrahash = {4cc2b831789a49f08026dc8fa7bd1f57},
keywords = {},
school = {Grenoble Institute of Technology, France},
timestamp = {2023-12-13T02:41:03.000+0100},
title = {ATP : une algebre pour la specification et l'analyse des systemes temps reel. (ATP: an algebra for the specification and analysis of real time systems).},
year = 1992
}