Proof support for duration calculus

Publication: Research - peer-reviewBook – Annual report year: 1999

View graph of relations

Original languageEnglish
Publication date1999
Place of publicationLyngby, Denmark
PublisherDepartment of Information Technology, Technical University of Denmark
StatePublished
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 5408199