fundamenta informaticae (4)
discrete event dynamic systems (2)
discrete event dynamic systems: theory and applications (2)
language and automata theory and applications (2)
science of computer programming (2)
sticef (2)
2009 ninth international conference on application of concurrency to system design, application of concurrency to system design, 2009. acsd '09. ninth international conference on (1)
2009 seventh ieee international conference on software engineering and formal methods, software engineering and formal methods, 2009 seventh ieee international conference on (1)
2012 ieee 51st ieee conference on decision & control (cdc) (1)
2012 ieee 51st ieee conference on decision and control (cdc), decision and control (cdc), 2012 ieee 51st annual conference on (1)
automated technology for verification & analysis (9783319465197) (1)
entcs: electronic notes in theoretical computer science (1)
formal aspects of component software 11th international symposium, facs 2014, bertinoro, italy, september 10-12, 2014, revised selected papers (1)
formal methods & software engineering (9783642103728) (1)
formal techniques for safety-critical systems third international workshop, ftscs 2014, luxembourg, november 6-7, 2014. revised selected papers (1)
ifac proceedings volumes (1)
language & automata theory & applications (9783642009815) (1)
language & automata theory & applications 9th international conference, lata 2015, nice, france, march 2-6, 2015, proceedings (1)
proceedings of the seventh acm international conference: embedded software (1)
runtime verification (9783642166112) (1)
theoretical aspects of computing - ictac 2012 (1)
theoretical aspects of computing---ictac 2012 (1)