TAPSOFT '87 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540176602, 9783540477464
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Characterizing Kripke structures in temporal logic

1987 ◽  
pp. 256-270 ◽  
Author(s):  
M. C. Browne ◽  
E. M. Clarke ◽  
O. Grümberg
Keyword(s):  
Temporal Logic ◽  
Kripke Structures

scholarly journals SMoLCS-driven concurrent calculi

1987 ◽  
pp. 169-201 ◽  
Author(s):  
Egidio Astesiano ◽  
Gianna Reggio

scholarly journals Efficient representation of taxonomies

1987 ◽  
pp. 232-240 ◽  
Author(s):  
G. Gambosi ◽  
J. Nešetřil ◽  
M. Talamo
Keyword(s):  
Efficient Representation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document