| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1990 | |
|---|---|---|
| 4 |      | David H. Pitt, David Freestone: The Derivation of Conformance Tests from LOTOS Specifications. IEEE Trans. Software Eng. 16(12): 1337-1343 (1990) |
| 1988 | ||
| 3 |  | David Freestone, Sukhvinder S. Aujla: Specifying ROSE in LOTOS. FORTE 1988: 231-245 |
| 2 | | David Freestone: Specification and Verification in Communications Standards. Specification and Verification of Concurrent Systems 1988: 474-485 |
| 1986 | ||
| 1 | | David Freestone: OSI-Architecture - A Mathematical Framework. ICCC 1986: 485-490 |
| 1 | Sukhvinder S. Aujla | [3] |
| 2 | David H. Pitt | [4] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page