APA Style
Shukla, S. K., Barkaoui, K.; Bernardinello, L.; Mokhov, A., Furbach, F.; Meyer, R.; Schneider, K.; Senftben, M., Knapik, M.; Meski, A.; Penczek, W., Siirtola, A.; Heljanko, K., Cotard, S.; Queudet, A.; L-Bechennec, J.; Faucou, S.; Trinquet, Y., Bujtor, F.; Vogler, W., Groote, R. de; Holzenspies, P. K. F.; Kuper, J.; Smit, G. J. M., Germanos, V.; Haar, S.; Khomenko, V.; Schwoon, S.. (2015).
Bundel Jurnal ACM Transactions on Embedded Computing System : Editorial/ Guest Editorial/ Memory-Model-Aware-Testing: A Unified Complexity Analysis/ Action Synthesis for Branching Time Logic: Theory and Applications/ Parametrised Modal Interface Automata/ STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded System/ Failure Semantics for Modal Transition Systems/ Incremental Analysis of Cyclo-Static synchronous Dataflow Graphs/ Diagnosabilitu under Weak Fairness (1).
New York:
Association for Computing Machinery.
Chicago Style
Shukla, S. K., Barkaoui, K.; Bernardinello, L.; Mokhov, A., Furbach, F.; Meyer, R.; Schneider, K.; Senftben, M., Knapik, M.; Meski, A.; Penczek, W., Siirtola, A.; Heljanko, K., Cotard, S.; Queudet, A.; L-Bechennec, J.; Faucou, S.; Trinquet, Y., Bujtor, F.; Vogler, W., Groote, R. de; Holzenspies, P. K. F.; Kuper, J.; Smit, G. J. M., Germanos, V.; Haar, S.; Khomenko, V.; Schwoon, S..
Bundel Jurnal ACM Transactions on Embedded Computing System : Editorial/ Guest Editorial/ Memory-Model-Aware-Testing: A Unified Complexity Analysis/ Action Synthesis for Branching Time Logic: Theory and Applications/ Parametrised Modal Interface Automata/ STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded System/ Failure Semantics for Modal Transition Systems/ Incremental Analysis of Cyclo-Static synchronous Dataflow Graphs/ Diagnosabilitu under Weak Fairness.
1
New York:
Association for Computing Machinery,
2015.
Bundel Jurnal.
MLA Style
Shukla, S. K., Barkaoui, K.; Bernardinello, L.; Mokhov, A., Furbach, F.; Meyer, R.; Schneider, K.; Senftben, M., Knapik, M.; Meski, A.; Penczek, W., Siirtola, A.; Heljanko, K., Cotard, S.; Queudet, A.; L-Bechennec, J.; Faucou, S.; Trinquet, Y., Bujtor, F.; Vogler, W., Groote, R. de; Holzenspies, P. K. F.; Kuper, J.; Smit, G. J. M., Germanos, V.; Haar, S.; Khomenko, V.; Schwoon, S..
Bundel Jurnal ACM Transactions on Embedded Computing System : Editorial/ Guest Editorial/ Memory-Model-Aware-Testing: A Unified Complexity Analysis/ Action Synthesis for Branching Time Logic: Theory and Applications/ Parametrised Modal Interface Automata/ STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded System/ Failure Semantics for Modal Transition Systems/ Incremental Analysis of Cyclo-Static synchronous Dataflow Graphs/ Diagnosabilitu under Weak Fairness.
1
New York:
Association for Computing Machinery,
2015.
Bundel Jurnal.
Turabian Style
Shukla, S. K., Barkaoui, K.; Bernardinello, L.; Mokhov, A., Furbach, F.; Meyer, R.; Schneider, K.; Senftben, M., Knapik, M.; Meski, A.; Penczek, W., Siirtola, A.; Heljanko, K., Cotard, S.; Queudet, A.; L-Bechennec, J.; Faucou, S.; Trinquet, Y., Bujtor, F.; Vogler, W., Groote, R. de; Holzenspies, P. K. F.; Kuper, J.; Smit, G. J. M., Germanos, V.; Haar, S.; Khomenko, V.; Schwoon, S..
Bundel Jurnal ACM Transactions on Embedded Computing System : Editorial/ Guest Editorial/ Memory-Model-Aware-Testing: A Unified Complexity Analysis/ Action Synthesis for Branching Time Logic: Theory and Applications/ Parametrised Modal Interface Automata/ STM-HRT: A Robust and Wait-Free STM for Hard Real-Time Multicore Embedded System/ Failure Semantics for Modal Transition Systems/ Incremental Analysis of Cyclo-Static synchronous Dataflow Graphs/ Diagnosabilitu under Weak Fairness.
1
New York:
Association for Computing Machinery,
2015.
Bundel Jurnal.