e CIG: Conference Papers


Conference Papers

Autor:Bulling, Nils and Farwer, Berndt
Bearbeiter:J. Dix and M. Fisher and P. Novak
Titel:Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$
Buchtitel:Post-Proceedings of CLIMA '09
Jahr:2010
Seiten:22-45
Serie:LNCS 6214
BibTeX-Code:
@inproceedings{BullingFarwer09rtl-clima-post,
author={Bulling, Nils and Farwer, Berndt},
editor={J. Dix and M. Fisher and P. Novak},
title={Expressing Properties of Resource-Bounded Systems: The Logics RBTL and RBTL$^*$},
booktitle={Post-Proceedings of CLIMA '09},
year={2010},
pages={22-45},
series={LNCS 6214},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019