Á. Eiríksson
发表
Á. Eiríksson,
1996,
33rd Design Automation Conference Proceedings, 1996.
Kenneth L. McMillan,
Ásgeir Th. Eiríksson,
K. McMillan,
1995,
CAV.
Hemal Shah,
Robert Sharp,
Waël Noureddine,
2014,
RFC.