Deriving event-based transition systems from
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian UchitelVolume:
15
Language:
english
Pages:
32
DOI:
10.1007/s10515-008-0027-7
Date:
June, 2008
File:
PDF, 1.47 MB
english, 2008