© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach
A L Powell, K C Mander, and D S Brown
Journal of Systems and Software, 46:182-196, July 1999.Bibtex Record
@article{976,
author = {A L Powell and K C Mander and D S Brown},
title = {{Strategies for Lifecycle and Concurrency and Iteration: A Systems Dynamics Approach}},
month = {July},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/976},
journal = {Journal of Systems and Software},
publication_type = {article},
submission_id = {6162_949921558},
volume = {46},
}