Atsushi Togashi (u. A.) | Formal Description Techniques And

Stan Budkowski (u. A.) | Formal Description Techniques And Protocol...

Formal Description Techniques And Protocol Specification, Testing And

Myungchul Kim (u. A.) | Formal Techniques For Networked And

Dorothee Fehrmann (u. A.) | Formal Description Of Slavic Languages:

Catuscia Palamidessi (u. A.) | Formal Techniques For Distributed

Mahesh Viswanathan (u. A.) | Formal Techniques For Distributed

Peter Csaba Ölveczky (u. A.) | Formal Techniques For Safety-critical

Atsushi Igarashi (u. A.) | Programming Languages And Systems |

Kothanda Umamageswaran (u. A.) | Formal Semantics And Proof Techniques

Hartmut König (u. A.) | Formal Techniques For Networked And

Atsushi Tsunekawa (u. A.) | Restoration And Development Of The

Formal Techniques For Distributed Objects, Components, And Systems

Atsushi Komamine (u. A.) | Rnai And Plant Gene Function Analysis |

Formal Techniques For Networked And Distributed Systems Forte 2001

Formal Methods For Analyzing Privacy Policies Techniques For Formal