Lecture Notes in Computer Science - Models, Algorithms, Logics and Tools
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319631202, 9783319631219
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Derivatives of Quantitative Regular Expressions

2017 ◽  
pp. 75-95 ◽  
Author(s):  
Rajeev Alur ◽  
Konstantinos Mamouras ◽  
Dogan Ulus
Keyword(s):  
Regular Expressions ◽  
Derivatives Of

Centrally Governed Blockchains: Optimizing Security, Cost, and Availability

2017 ◽  
pp. 578-599 ◽  
Author(s):  
Leif-Nissen Lundbæk ◽  
Andrea Callia D’Iddio ◽  
Michael Huth

scholarly journals Syntactic Markovian Bisimulation for Chemical Reaction Networks

2017 ◽  
pp. 466-483 ◽  
Author(s):  
Luca Cardelli ◽  
Mirco Tribastone ◽  
Max Tschaikowski ◽  
Andrea Vandin
Keyword(s):  
Chemical Reaction ◽  
Chemical Reaction Networks ◽  
Reaction Networks

scholarly journals Testing Divergent Transition Systems

2017 ◽  
pp. 339-366
Author(s):  
Ed Brinksma ◽  
Mariëlle I. A. Stoelinga ◽  
Mark Timmer
Keyword(s):  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document