e CIG: Conference Papers


Conference Papers

Author:Bulling, N. and Farwer, B.
Editor:J. Dix and et al.
Title:Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$
Booktitle:Pre-Proceedings of CLIMA '09
Year:2009
Pages:2-19
BibTeX-Code:
@inproceedings{BullingFarwer09rtl-clima-pre,
author={Bulling, N. and Farwer, B.},
editor={J. Dix and et al.},
title={Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$},
booktitle={Pre-Proceedings of CLIMA '09},
year={2009},
pages={2-19},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019