1
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
View full text
Electronic eBook