Skip to main content

Browse by Publisher

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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)
[img] [img]
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)
[img]
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)
[img]
Preview
[img]
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)
[img]
Preview
[img]
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 Mon Jan 25 02:28:10 2021 GMT.