Browse by Publisher
Number of items: 5.
1997
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. (doi:10.1007/978-1-5041-2869-8_35) (KAR id:21510) |
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) |
1996
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. (doi:10.1007/978-0-387-35079-0_32) (KAR id:21330) |
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) |
1995
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) |