MPG.eBooks - Search Results - (smash OR ((sweath OR (swat OR sat)) OR spath))-plate

Search alternatives:
smash » slash
sweath » sheath , sweat , sweats
swat » sweat , swan , seat
sat » salt , satz
spath » spat , xpath , spate
-plate » -plates , -place

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... Leakage -- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata -- Testing...”

Cover Image

2

Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Published 2014

Springer Berlin Heidelberg

Table of Contents: “...Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem (Extended Abstract...”