Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 5.
Scahill, Mark (1997) Distributed Individual-Based Environmental Simulation. In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds. Environmental software systems International symposium (ISESS '97),. 2. pp. 269-276. Chapman & Hall ISBN 0-412-81740-3. (KAR id:21510)
Format: Other Format: Postscript
Hopkins, Tim, Morse, David R. (1997) The implementation and visualization of a large spatial individual-based model using Fortran 90. In: Denzer, Ralf and Swayne, David A. and Schimak, Gerald, eds. Environmental Software Systems, Volume 2. 2. Chapman & Hall, London (KAR id:21418)
Format: PDF
Derrick, John, Bowman, Howard, Boiten, Eerke Albert, Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI. . pp. 501-516. Chapman & Hall, Kaiserslautern, Germany ISBN 0-412-79490-X. (KAR id:21330)
Format: PDF Format: Postscript
Linington, Peter F., Derrick, John, Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. . pp. 93-114. Chapman & Hall, Darmstadt, Germany (KAR id:21340)
Format: PDF Format: Postscript
Steen, Maarten, Bowman, Howard, Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (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:21289)
This list was generated on Fri Aug 19 02:59:19 2022 BST.