Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B

Number of items: 1.

B

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 IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). IFIP — The International Federation for Information Processing . Kluwer Academic, pp. 213-239. ISBN 978-1-4757-5266-3. E-ISBN 978-0-387-35562-7. (doi: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) (KAR id:21871)

This list was generated on Wed Apr 24 23:29:37 2024 BST.