e CIG: Conference Papers


Conference Papers

Autor:Bulling, N. and Farwer, B.
Bearbeiter:J. Dix and et al.
Titel:Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$
Buchtitel:Pre-Proceedings of CLIMA '09
Jahr:2009
Seiten: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},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019