advances in space research (3)
discrete event dynamic systems (3)
discrete event dynamic systems: theory and applications (3)
journal of logical and algebraic methods in programming (3)
performance evaluation (3)
plos one (3)
theoretical computer science (3)
application and theory of petri nets and concurrency (2)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
handbook of research on discrete event simulation environments : technologies and applications (2)
2008 10th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing, 2008. synasc '08. 10th international symposium on (1)
2010 ieee international symposium on modeling, analysis and simulation of computer and telecommunication systems, modeling, analysis & simulation of computer and telecommunication systems (mascots), 2010 ieee international symposium on (1)
2011 13th international symposium on symbolic & numeric algorithms for scientific computing (1)
2011 13th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2011 13th international symposium on (1)
2012 14th international symposium on symbolic & numeric algorithms for scientific computing (1)
2012 14th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2012 14th international symposium on (1)
2013 15th international symposium on symbolic & numeric algorithms for scientific computing (1)
2013 15th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2013 15th international symposium on (1)
2014 16th international symposium on symbolic & numeric algorithms for scientific computing (1)
2014 16th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2014 16th international symposium on (1)
2015 17th international symposium on symbolic & numeric algorithms for scientific computing (synasc) (1)
2015 17th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2015 17th international symposium on (1)
2016 13th international workshop on discrete event systems (wodes) (1)
2016 13th international workshop on discrete event systems (wodes), discrete event systems (wodes), 2016 13th international workshop on (1)
2016 18th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2016 18th international symposium on, synasc (1)
2018 20th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2018 20th international symposium on, synasc (1)
2019 ieee 27th international symposium on modeling, analysis, and simulation of computer and telecommunication systems (mascots), modeling, analysis, and simulation of computer and telecommunication systems (mascots), 2019 ieee 27th international symposium on, mascots (1)
2021 23rd international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2021 23rd international symposium on, synasc (1)
acm international conference proceeding series (1)
applications & theory of petri nets 2005 (1)
applications and theory of petri nets 2005 (1)
concurrency & computation: practice & experience (1)
concurrency and computation-practice & experience (1)
frontiers of physics (1)
iaeng international journal of applied mathematics (1)
ifac papersonline (1)
ifac proceedings volumes (1)
ifac-papersonline (1)
journal of systems architecture (1)
journal of universal computer science (1)
ninth international symposium on symbolic and numeric algorithms for scientific computing (synasc 2007), symbolic and numeric algorithms for scientific computing, 2007. synasc. international symposium on (1)
proceedings of the 2008 spring simulation multiconference (1)
proceedings of the 2009 spring simulation multiconference (1)
proceedings third symposium on working formal methods (1)
quantitative evaluation of systems: 12th international conference, qest 2015, madrid, spain, september 1-3, 2015, proceedings (1)
reachability problems (1)
reachability problems (9783642410352) (1)
world congress on engineering 2009 (volume 1) (1)