- H. Hungar and B. Steffen. Local
model-checking for context-free processes. Nordic Journal of
Computing, 1(3):364-385, Fall 1994.
Abstract,
References,
etc.
- O. Burkart and B. Steffen. Composition,
decomposition and model checking of pushdown processes. Nordic
Journal of Computing, 2(2):89-125, Summer 1995.
Abstract,
References,
Citations,
etc.
- Helmut Seidl and Bernhard Steffen. Constraint-Based
Inter-Procedural Analysis of Parallel Programs. Nordic Journal
of Computing, 7(4):375-400, Winter 2000.
Abstract,
References,
etc.
- Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, and
Bernhard Steffen. Incremental
Requirement Specification for Evolving Systems. Nordic Journal
of Computing, 8(1):65-87, Spring 2001.
Abstract,
etc.
Shortcuts: