• search hit 47 of 167
Back to Result List

Safe reasoning with logic LTS

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Gerald LüttgenGND, Walter VoglerGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/51605
ISBN:9783540958901OPAC
ISBN:9783540958918OPAC
ISSN:0302-9743OPAC
ISSN:1611-3349OPAC
Parent Title (English):SOFSEM 2009: Theory and Practice of Computer Science; 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009
Publisher:Springer
Place of publication:Berlin [u.a.]
Editor:Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia
Type:Part of a Book
Language:English
Year of first Publication:2009
Publishing Institution:Universität Augsburg
Release Date:2019/04/09
First Page:376
Last Page:387
Series:Lecture Notes in Computer Science ; 5404
DOI:https://doi.org/10.1007/978-3-540-95891-8_35
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme