A Nitpick Analysis of Mobile IPv6 Daniel JacksonYu-Chung NgJeannette Wing Original Paper Pages: 591 - 615
Predicate Transformers for Recursive Procedures with Local Variables Wim H. Hesselink Original Paper Pages: 616 - 636
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker Diego LatellaIstvan MajzikMieke Massink Original Paper Pages: 637 - 664
The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction David DukeDavid Duce Original Paper Pages: 665 - 689
Graph Transformation Units with Interleaving Semantics Hans-Jörg KreowskiSabine Kuske Original Paper Pages: 690 - 723