J. Condom

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

1 J. Condom, K. Ouriachi: Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics. PDSE 1998: 20-27

	1998
1		J. Condom, K. Ouriachi: Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics. PDSE 1998: 20-27

Coauthor Index