Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is finite powerset construction  [Clear All Filters]
2006
Bagnara R, Hill PM, Zaffanella E.  2006.  Widening Operators for Powerset Domains. Software Tools for Technology Transfer. 8:449–466.PDF icon BagnaraHZ06STTT.pdf (362.41 KB)