Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
1999
Bowman, Howard and Derrick, John (1999) A Junction between State Based and Behavioural Specification. In: Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Robert, eds. Formal Methods for Open Object-based Distributed Systems. Kluwer pp. 213-239. ISBN 0-7923-8429-6. (doi:https://doi.org/10.1007/978-0-387-35562-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |