|
Reference : Relations d'implémentation et transformations autorisées d'une spécification LOTOS |
|
| | |
| | Scientific journals : Article | |
| | Engineering, computing & technology : Computer science
| |
| | http://hdl.handle.net/2268/33777 | |
| | |
| Relations d'implémentation et transformations autorisées d'une spécification LOTOS |
| French |
| Leduc, Guy [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >] |
| 1991 |
| Réseaux et Informatique Répartie |
| 1 |
| 59-86 |
| International |
| Researchers |
| http://hdl.handle.net/2268/33777 |
| File(s) associated to this reference | |
|
Fulltext file(s):
| |
| | |
All documents in ORBi are protected by a user license.