Specification de services dans une logique temporelle compositionnelle

Gibson, Paul and Mermet, B and Mokhtari, Y (1996) Specification de services dans une logique temporelle compositionnelle. Technical Report. Computer Science, Université Henri Poincaré.. (Unpublished)

[img] Download (303kB)

Share your research

Twitter Facebook LinkedIn GooglePlus Email more...

Add this article to your Mendeley library


Rapport de fin du lot1 du march© no96 1B CNET-CNRS-CRIN, Centre de Recherche en Informatique de Nancy.

Item Type: Monograph (Technical Report)
Keywords: telecoms service specification; Technical Report 961B;
Academic Unit: Faculty of Science and Engineering > Electronic Engineering
Item ID: 17
Depositing User: Paul Gibson
Date Deposited: 23 Sep 2008
Publisher: Computer Science, Université Henri Poincaré.
Refereed: No

    Repository Staff Only(login required)

    View Item Item control page

    Document Downloads

    More statistics for this item...