Specification de services dans une logique temporelle compositionnelleGibson, Paul and Mermet, B and Mokhtari, Y (1996) Specification de services dans une logique temporelle compositionnelle. Computer Science, Université Henri Poincaré..
AbstractRapport de fin du lot1 du march© no96 1B CNET-CNRS-CRIN, Centre de Recherche en Informatique de Nancy.
Repository Staff Only: item control page |