Mennicke, S., M. Lochau, J. Schroeter, and T. Winkelmann,
"Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets",
18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014.
Abstract
Hartmann, T., R. Jungclaus, and G. Saake,
"Animation Support for a Conceptual Modelling Language",
Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993.
Abstract
Nieke, C., M. Lassnig, L. Menichetti, E. Motesnitsalis, and D. Duellmann,
"Analysis of CERN computing infrastructure and monitoring data",
21st International Conference on Computing in High Energy and Nuclear Physics (CHEP2015), Okinawa, Japan, 02/2016, 2015.
Abstract