Concepedia

S. Laubach

SL

Statistics

Publications

1

Citations

147

H-Index

1

Active since

2002

Affiliations

University of Hawaii System(Current)

S. Laubach is an author at University of Hawaii System specializing in finite state machine modeling, executable state-based models, and executable system models.

Publications per year

2002–2002

1

Publications

1

Bandera: extracting finite-state models from Java source code

J.C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium · 2002 · 147 citations

Computing, Computer Engineering, Computer Science +16

1–1 of 1