Mike Jorda

According to our database, Mike Jorda authored at least 1 paper in 2004.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2004

Verifying a gigabit ethernet switch using SMV.

Yuan Lu, Mike Jorda

Proceedings of the 41th Design Automation Conference, 2004