[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation
von Hanxleden, Reinhard, Mendler, Michael, Aguado, Joaquin, Duderstadt, Bjorn, Fuhrmann, Insa, Motika, Christian, Mercer, Stephen, O'Brien, OwenYear:
2013
Language:
english
DOI:
10.7873/DATE.2013.128
File:
PDF, 363 KB
english, 2013