Charles A. Lakos

According to our database, Charles A. Lakos authored at least 2 papers between 1993 and 2005.

Collaborative distances:

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

2005

State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.

Charles A. Lakos, Lars Michael Kristensen

Proceedings of the Automated Technology for Verification and Analysis, 2005

1993

Modeling a Door Controller Protocol in LOOPN.

Charles A. Lakos, Chris Keen

Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993