|
 
|
[BBC96] On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency
Revue Internationale avec comité de lecture : Journal Journal of Computing and Information, vol. 2(1), pp. 470-481, 1996
motcle:
BibTeX
| @article { | |||
| BBC96, | |||
| title | = | "{On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency}", | |
| author | = | "K. Barkaoui and M. Bettaz and A. Chaoui", | |
| journal | = | "Journal of Computing and Information", | |
| year | = | 1996, | |
| volume | = | 2, | |
| number | = | 1, | |
| pages | = | "470-481", | |
| } | |||
