Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

48
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642029295, 9783642029301
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Regular Temporal Logics with Past,

2009 ◽  
pp. 175-187 ◽  
Author(s):  
Christian Dax ◽  
Felix Klaedtke ◽  
Martin Lange
Keyword(s):  
Temporal Logics

scholarly journals Approximating Markov Processes by Averaging

2009 ◽  
pp. 127-138 ◽  
Author(s):  
Philippe Chaput ◽  
Vincent Danos ◽  
Prakash Panangaden ◽  
Gordon Plotkin
Keyword(s):  
Markov Processes

scholarly journals Maximum Bipartite Flow in Networks with Adaptive Channel Width

2009 ◽  
pp. 351-362
Author(s):  
Yossi Azar ◽  
Aleksander Mądry ◽  
Thomas Moscibroda ◽  
Debmalya Panigrahi ◽  
Aravind Srinivasan
Keyword(s):  
Channel Width
Load More ...
Sign in / Sign up

Export Citation Format

Share Document