Lecture Notes in Computer Science - Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642334740, 9783642334757
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Unidirectional Channel Systems Can Be Tested

2012 ◽  
pp. 149-163 ◽  
Author(s):  
Petr Jančar ◽  
Prateek Karandikar ◽  
Philippe Schnoebelen
Keyword(s):  
Channel Systems

scholarly journals Formal Verification of Distributed Algorithms

2012 ◽  
pp. 209-224 ◽  
Author(s):  
Philipp Küfner ◽  
Uwe Nestmann ◽  
Christina Rickmann
Keyword(s):  
Formal Verification ◽  
Distributed Algorithms

scholarly journals Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

2012 ◽  
pp. 342-356 ◽  
Author(s):  
Lei Song ◽  
Jens Chr. Godskesen
Keyword(s):  
Mobile Networks ◽  
Stochastic Calculus

scholarly journals Worst- and Average-Case Privacy Breaches in Randomization Mechanisms

2012 ◽  
pp. 72-86 ◽  
Author(s):  
Michele Boreale ◽  
Michela Paolini
Keyword(s):  
Average Case ◽  
Privacy Breaches

scholarly journals On Properties and State Complexity of Deterministic State-Partition Automata

2012 ◽  
pp. 164-178 ◽  
Author(s):  
Galina Jirásková ◽  
Tomáš Masopust
Keyword(s):  
State Complexity

scholarly journals Modal Interface Automata

2012 ◽  
pp. 265-279 ◽  
Author(s):  
Gerald Lüttgen ◽  
Walter Vogler
Keyword(s):  
Interface Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document