Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540433668, 9783540459316
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Model Checking Durational Kripke Structures

2002 ◽  
pp. 264-279 ◽  
Author(s):  
François Laroussinie ◽  
Nicolas Markey ◽  
Philippe Schnoebelen
Keyword(s):  
Model Checking ◽  
Kripke Structures

scholarly journals Higher-Order Pushdown Trees Are Easy

2002 ◽  
pp. 205-222 ◽  
Author(s):  
Teodor Knapik ◽  
Damian Niwiński ◽  
Paweł Urzyczyn
Keyword(s):  
Higher Order

scholarly journals Linearity and Bisimulation

2002 ◽  
pp. 417-433 ◽  
Author(s):  
Nobuko Yoshida ◽  
Kohei Honda ◽  
Martin Berger
Load More ...
Sign in / Sign up

Export Citation Format

Share Document