Model-Based Runtime Analysis of Distributed Reactive Systems (bibtex)
by Andreas Bauer, Martin Leucker, Christian Schallhart
Reference:
Model-Based Runtime Analysis of Distributed Reactive SystemsAndreas Bauer, Martin Leucker, Christian SchallhartAustralian Software Engineering Conference (ASWEC'06), pages 243-252, 2006.
Bibtex Entry:
@inproceedings{bauer06:_model_based_runtim_analy_distr_react_system,
  author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
  title = {{Model-Based Runtime Analysis of Distributed Reactive Systems}},
  year = {2006},
  booktitle = {Australian Software Engineering Conference (ASWEC'06)},
  pages = {243--252}
}
Powered by bibtexbrowser