Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Akos Ledeczi
Vanderbilt University, USA

G. Karsai, G. Nordstrom, A. Ledeczi, J. Sztipanovits:
Towards Two-Level Formal Modeling of Computer-Based Systems
/jucs_6_11/towards_two_level_formal
page 1131 - 1144
Vol.6 / Issue 11