Skip to content

Michael J. Batek

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

1992–1992

Best venue rank

A*

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
1992DACTest-Set Preserving Logic Transformations.Michael J. Batek, John P. Hayes