Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 5.

Conference or workshop item

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)
[thumbnail of zip] [thumbnail of canada.ps]
Preview
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)
[thumbnail of the_implementation_Tim_Hopkins.pdf]
Preview
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)
[thumbnail of lotoszref.pdf]
Preview
[thumbnail of lotoszref.ps]
Preview
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)
[thumbnail of SpecLinington.pdf]
Preview
[thumbnail of SpecLinington.ps]
Preview
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 Tue Nov 30 02:23:49 2021 GMT.