Skip to Main content Skip to Navigation
Journal articles

Applying CSP|| B to Information Systems

Neil Evans Helen Treharne 1 Régine Laleau 2 Marc Frappier 3
1 Department of Computer Science [Guildford]
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
3 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
UdeS - Département d'informatique [Sherbrooke]
Abstract : no abstract
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01224658
Contributor : Régine Laleau Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2015 - 10:50:41 PM
Last modification on : Friday, March 11, 2022 - 3:08:08 PM

Identifiers

  • HAL Id : hal-01224658, version 1

Collections

CNRS | LACL | UPEC-UPEM | UPEC

Citation

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier. Applying CSP|| B to Information Systems. Software and Systems Modeling, Springer Verlag, 2008, 7 (1), pp.85--102. ⟨hal-01224658⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

28