Solving Non-Linear Arithmetic Constraints in Soft Realtime Environments
27th Symposium On Applied Computing , Volume 1, page 67--75 - 2012
BibTex references
@InProceedings\{Sku12,
author = "Skubch, Hendrik",
title = "Solving Non-Linear Arithmetic Constraints in Soft Realtime Environments ",
booktitle = "27th Symposium On Applied Computing ",
series = "ACM SAC",
volume = "1",
pages = "67--75",
year = "2012",
organization = "ACM",
url = "http://www.vs.uni-kassel.de/publications/2012/Sku12"
}