Charles A. Lakos

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

2 Charles A. Lakos, Lars Michael Kristensen: State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA 2005: 187-201

1993

1 Charles A. Lakos, Chris Keen: Modeling a Door Controller Protocol in LOOPN. TOOLS (10) 1993: 31-43

	2005
2		Charles A. Lakos, Lars Michael Kristensen: State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. ATVA 2005: 187-201
	1993
1		Charles A. Lakos, Chris Keen: Modeling a Door Controller Protocol in LOOPN. TOOLS (10) 1993: 31-43

Coauthor Index

1 Chris Keen [1]

2 Lars Michael Kristensen [2]

Colors in the list of coauthors