Bounded Model Construction for Duration Calculus



TypeConference paper [With referee]
ConferenceProceedings of the 17th Nordic Workshop on Programming Theory
EditorsNeil D. Jones
Year2005
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering