Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030341749, 9783030341756
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simulations in Rank-Based Büchi Automata Complementation

2019 ◽  
pp. 447-467
Author(s):  
Yu-Fang Chen ◽  
Vojtěch Havlena ◽  
Ondřej Lengál
Keyword(s):  
Büchi Automata ◽  
Buchi Automata

Mimalloc: Free List Sharding in Action

2019 ◽  
pp. 244-265
Author(s):  
Daan Leijen ◽  
Benjamin Zorn ◽  
Leonardo de Moura
Keyword(s):  
Free List

Dissecting Widening: Separating Termination from Information

2019 ◽  
pp. 95-114
Author(s):  
Graeme Gange ◽  
Jorge A. Navas ◽  
Peter Schachte ◽  
Harald Søndergaard ◽  
Peter J. Stuckey

On Strings in Software Model Checking

2019 ◽  
pp. 19-30
Author(s):  
Hossein Hojjat ◽  
Philipp Rümmer ◽  
Ali Shamakhi
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model

Uniform Random Process Model Revisited

2019 ◽  
pp. 388-404
Author(s):  
Wenbo Zhang ◽  
Huan Long ◽  
Xian Xu
Keyword(s):  
Random Process ◽  
Process Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document