Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=503
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An interface theory for service-oriented design
José Luiz Fiadeiro
,
Antónia Lopes
Theoretical Computer Science
503
, 2013, pp. 1-30
Specifying termination in CSP
Paul Howells
,
Mark d'Inverno
Theoretical Computer Science
503
, 2013, pp. 31-60
Combined model checking for temporal, probabilistic, and real-time logics
Savas Konur
,
Michael Fisher
,
Sven Schewe
Theoretical Computer Science
503
, 2013, pp. 61-88
On the power of breakable objects
Wei Chen
,
Guangda Hu
,
Jialin Zhang
Theoretical Computer Science
503
, 2013, pp. 89-108
A quadratic construction for Zielonka automata with acyclic communication structure
Siddharth Krishna
,
Anca Muscholl
Theoretical Computer Science
503
, 2013, pp. 109-114
Corrigendum to ``Reachability-based acyclicity analysis by Abstract Interpretation''
Samir Genaim
,
Damiano Zanardini
Theoretical Computer Science
503
, 2013, pp. 115-115