Jan H. Jongejan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

1 Jan H. Jongejan: Correctness of Transformations on Register Transfers. Sci. Comput. Program. 19(2): 153-169 (1992)