Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540551799, 9783540467632
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From data structure to process structure

1992 ◽  
pp. 244-254 ◽  
Author(s):  
Ed Brinksma ◽  
Keyword(s):  
Data Structure ◽  
Process Structure

scholarly journals Deciding properties of regular real timed processes

1992 ◽  
pp. 443-453 ◽  
Author(s):  
Uno Holmer ◽  
Kim Larsen ◽  
Wang Yi

scholarly journals Mechanically checked proofs of kernel specifications

1992 ◽  
pp. 70-82 ◽  
Author(s):  
William R. Bevier ◽  
JØrgen F. SØgaard-Andersen

scholarly journals An overview and synthesis on timed process algebras

1992 ◽  
pp. 376-398 ◽  
Author(s):  
Xavier Nicollin ◽  
Joseph Sifakis
Keyword(s):  
Process Algebras

A top down approach to the formal specification of SCI cache coherence

1992 ◽  
pp. 83-91 ◽  
Author(s):  
Stein Gjessing ◽  
Stein Krogdahl ◽  
Ellen Munthe-Kaas
Keyword(s):  
Formal Specification ◽  
Cache Coherence ◽  
Top Down

scholarly journals The Concurrency Workbench with priorities

1992 ◽  
pp. 147-157 ◽  
Author(s):  
Claus Torp Jensen
Keyword(s):  
Concurrency Workbench

scholarly journals An algebra of Boolean processes

1992 ◽  
pp. 454-465 ◽  
Author(s):  
Costas Courcoubetis ◽  
Susanne Graf ◽  
Joseph Sifakis

scholarly journals Complexity results for POMSET languages

1992 ◽  
pp. 343-353 ◽  
Author(s):  
Joan Feigenbaum ◽  
Jeremy A. Kahn ◽  
Carsten Lund
Keyword(s):  
Complexity Results
Load More ...
Sign in / Sign up

Export Citation Format

Share Document