Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540638766, 9783540696599
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Compilation and equivalence of imperative objects

1997 ◽  
pp. 74-87 ◽  
Author(s):  
A. D. Gordon ◽  
P. D. Hankin ◽  
S. B. Lassen

Polynomial-Time Many-One reductions for Petri nets

1997 ◽  
pp. 312-326 ◽  
Author(s):  
Catherine Dufourd ◽  
Alain Finkel
Keyword(s):  
Petri Nets ◽  
Polynomial Time

General refinement for high level petri nets

1997 ◽  
pp. 297-311 ◽  
Author(s):  
Raymond Devillers ◽  
Hanna Klaudel ◽  
Robert -C. Riemann
Keyword(s):  
Petri Nets ◽  
High Level
Load More ...
Sign in / Sign up

Export Citation Format

Share Document