Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelJump to: Conference proceeding
Number of items: 5.
Conference proceeding
| Scahill, Mark (1997) Distributed Individual-Based Environmental Simulation. In: IFIP TC5 WG5.11 internatinal symposium on environmental software systems (ISESS '97),, 28 April-2 May 1997,, British Columbia, Canada. (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: Environmental Software Systems, Volume 2. (KAR id:21418) |
|
| 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. 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. (KAR id:21340) |
|
| 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) |
