© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach
K C Mander, A L Powell, and D S Brown
In Proceedings Process Modelling and Simulation 98 (ProSim'98), pages 182-196, Silver Falls, Oregon, June 1998.Bibtex Record
@inproceedings{975,
author = {K C Mander and A L Powell and D S Brown},
title = {{Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach}},
month = {June},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/975},
address = {Silver Falls, Oregon},
booktitle = {Proceedings Process Modelling and Simulation 98 (ProSim'98)},
publication_type = {inproceedings},
submission_id = {6127_949921422},
}