Show simple item record

dc.contributor.authorChakrapani Rao, Arun
dc.date.accessioned2017-02-15T11:04:55Z
dc.date.available2017-02-15T11:04:55Z
dc.date.issued2002
dc.identifier.urihttp://hdl.handle.net/2086/13288
dc.language.isoenen
dc.publisherDe Montfort Universityen
dc.subject.ddc004.33en
dc.titleA visual framework for formal systems development using interval temporal logic.en
dc.typeThesis or dissertationen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhDen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record