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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Preface
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Preface
International journal on software tools for technology transfer, 2009-11, Vol.11 (5), p.355-357
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automatic verification of a behavioural subset of UML Statechart Diagrams using the SPIN model-checker
Formal aspects of computing, 1999-12, Vol.11 (6), p.637-664
1999
Link zum Volltext
Verfügbarkeit prüfen
1 – 3 von 3
Suche als RSS-Feed
Aktive Filter
ThemaScience & Technology
ThemaSoftware Engineering/programming And Operating Systems
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
Suchergebnisse filtern
Filter anzeigen