© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Parallel Algorithms and Safety-Critical Standards
P.H. Welch
In Proceedings of the 10th Benelux Meeting on Systems and Control, pages 182-196, Eindhoven, Netherlands, March 1990.Bibtex Record
@inproceedings{254,
author = {P.H. Welch},
title = {{Parallel Algorithms and Safety-Critical Standards}},
month = {March},
year = {1990},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1990/254},
address = {Eindhoven, Netherlands},
author_ids = {phw},
booktitle = {Proceedings of the 10th Benelux Meeting on Systems and Control},
}