Edinburgh Research Explorer

A Generalized Interval Package and its Use for Semantic Checking

Research output: Contribution to journal › Article

Related Edinburgh Organisations

http://portal.acm.org/citation.cfm?doid=2701.2702
http://hdl.handle.net/1842/4547
Original languageEnglish
JournalACM Transactions on Mathematical Software
Volume10
Issue number4
DOIs
StatePublished - Dec 1984

ID: 400476