Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
The model checker SPIN
IEEE transactions on software engineering, 1997-05, Vol.23 (5), p.279-295
1997

IEEE transactions on software engineering, 1983-07, Vol.SE-9 (4), p.427-436
1983

IEEE transactions on software engineering, 1985-12, Vol.SE-11 (12), p.1491-1501
1985

IEEE transactions on software engineering, 1985-05, Vol.SE-11 (5), p.454-461
1985

IEEE transactions on software engineering, 1982-05, Vol.SE-8 (3), p.167-172
1982
Aktive Filter
KollektionSpringer Online Journals Complete
KollektionWiley Online Library
Zeitschrift / SerieIeee Transactions On Software Engineering
ThemaTechnology