Gibson, Paul, Mermet, B and Mokhtari, Y (1996) Specification de services dans une logique temporelle compositionnelle. Technical Report. Computer Science, Université Henri Poincaré.. (Unpublished)
![POTSVal.ps [thumbnail of POTSVal.ps]](https://mural.maynoothuniversity.ie/style/images/fileicons/application_postscript.png)
POTSVal.ps
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (303kB)
Abstract
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 |
URI: | https://mural.maynoothuniversity.ie/id/eprint/17 |
Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
Downloads
Downloads per month over past year