Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642402050, 9783642402067
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Timed CTL Model Checker for Real-Time Maude

2013 ◽  
pp. 334-339 ◽  
Author(s):  
Daniela Lepri ◽  
Erika Ábrahám ◽  
Peter Csaba Ölveczky
Keyword(s):  
Real Time ◽  
Model Checker

The HI-Maude Tool

2013 ◽  
pp. 322-327
Author(s):  
Muhammad Fadlisyah ◽  
Peter Csaba Ölveczky

scholarly journals Noninterfering Schedulers

2013 ◽  
pp. 236-252 ◽  
Author(s):  
Andrei Popescu ◽  
Johannes Hölzl ◽  
Tobias Nipkow

Checking Conservativity with Hets

2013 ◽  
pp. 315-321 ◽  
Author(s):  
Mihai Codescu ◽  
Till Mossakowski ◽  
Christian Maeder
Load More ...
Sign in / Sign up

Export Citation Format

Share Document