Amanote Research
Register
Sign In
Automated Trace Analysis of Discrete-Event System Models
IEEE Transactions on Software Engineering
- United States
doi 10.1109/tse.2008.75
Full Text
Open PDF
Abstract
Available in
full text
Categories
Software
Date
March 1, 2009
Authors
P. Kemper
C. Tepper
Publisher
Institute of Electrical and Electronics Engineers (IEEE)