logical methods in computer science (5)
fundamenta informaticae (4)
theoretical computer science (3)
38th iarcs annual conference on foundations of software technology and theoretical computer science (2)
information and computation (2)
proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) (2)
reachability problems (2)
2013 28th annual acm/ieee symposium on logic in computer science (lics 2013) (1)
31st international conference on concurrency theory (1)
32nd international conference on foundations of software technology and theoretical computer science (1)
44th international colloquium on automata, languages, and programming (1)
acm / sigplan notices (1)
application and theory of petri nets and concurrency (1)
automata, languages & programming: 42nd international colloquium, icalp 2015, kyoto, japan, july 6-10, 2015, proceedings, part ii (1)
automata, languages, and programming. part ii (1)
automated technology for verification & analysis (1)
automated technology for verification & analysis: 12th international symposium, atva 2014, sydney, nsw, australia, november 3-7, 2014, proceedings (1)
computational methods in systems biology (9783642038440) (1)
concur 2013 - concurrency theory (1)
concur 2013---concurrency theory (1)
concur 2014 - concurrency theory (1)
concur 2014---concurrency theory (1)
efficient algorithms (1)
foundations of software science & computation structures (9783642370748) (1)
foundations of software science & computational structures (9783642120312) (1)
foundations of software science and computation structures (1)
foundations of software science and computational structures (1)
fsttcs 2007: foundations of software technology & theoretical computer science (1)
fsttcs 2007: foundations of software technology and theoretical computer science (1)
information & computation (1)
latin 2002: theoretical informatics (cancun) (1)
model checking software (9783642026515) (1)
proceedings of the 24th acm sigsoft international spin symposium on model checking of software (1)
proceedings of the 29th acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the joint meeting of the twenty-third eacsl annual conference computer science logic (1)
reachability problems (9783319459936) (1)
reachability problems 9th international workshop, rp 2015, warsaw, poland, september 21-23, 2015, proceedings (1)
spin'17---proceedings of the 24th acm sigsoft international spin symposium on model checking of software (1)
stacs 2000 (1)
stacs 2000 (lille) (1)
static analysis (1)
static analysis (9783540740605) (1)
tools & algorithms for the construction & analysis of systems (9783540712084) (1)
tools & algorithms for the construction & analysis of systems (9783642287558) (1)