RV 2015)"/> RV 2015)"/> Runtime Verification of Model-based Development Environments (bibtex)
Runtime Verification of Model-based Development Environments (bibtex)
by , , ,
Reference:
Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson, "Runtime Verification of Model-based Development Environments", In 15th International Conference on Runtime Verification (RV 2015), Vienna, Austria, 2015, sep.
Bibtex Entry:
@inproceedings{nguyen2015rv,
  author	= {Luan Viet Nguyen and Christian Schilling and Sergiy Bogomolov and Taylor T. Johnson},
  title		= {Runtime Verification of Model-based Development Environments},
  year		= {2015},
  month		= sep,
  Booktitle	= {15th International Conference on Runtime Verification (<a href="http://rv2015.conf.tuwien.ac.at/">RV 2015</a>)},
  address	= {Vienna, Austria},
  pdf		= {http://www.taylortjohnson.com/research/nguyen2015rv.pdf},
}
Powered by bibtexbrowser