Linking DC together with TRSL

Anne E. Haxthausen, X. Yong

TypeConference paper [With referee]
ConferenceIFM'2000 2nd Int. Conf. on Integrated Formal Methods
Year2000    Month November    No. 1945    pp. 25-44
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering