Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs

@inproceedings{pub8462,
    author = {

Wille, Robert
 and 

Keszöcze, Oliver
 and 

Othmer, Lars
 and 

Thomsen, Michael Kirkedal
 and 

Drechsler, Rolf
},
    title = {Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs},
    booktitle = {8th International Conference on Reversible Computation. International Conference on Reversible Computation (RC)},
    year = {2016}
}