Trent N. Larson

According to our database, Trent N. Larson authored at least 1 paper in 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Alexandria: A Tool for Hierarchical Verification.

Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley

Proceedings of the Formal Methods in Computer-Aided Design, 1998