Share and Export
Share and Export
Gibson, Paul, Mermet, B and Mokhtari, Y (1996) Specification de services dans une logique temporelle compositionnelle. Technical Report. Computer Science, Université Henri Poincaré.. (Unpublished)
![[thumbnail of POTSVal.ps]](https://mu.eprints-hosting.org/style/images/fileicons/application_postscript.png "POTSVal.ps")
Postscript
POTSVal.ps
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://mu.eprints-hosting.org/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)
- Item control page
Downloads
Downloads per month over past year
