"The Timed Abstract State Machine Language: Abstract State Machines for ..."

Martin Ouimet, Kristina Lundqvist (2008)

Details and statistics

DOI: 10.3217/JUCS-014-12-2007

access: open

type: Journal Article

metadata version: 2023-09-07