Formal Methods in System Design 2/2011 | springerprofessional.de

Springer Professional

nach oben

Formal Methods in System Design

Inhalt (3 Artikel)

Faster algorithms for mean-payoff games

L. Brim, J. Chaloupka, L. Doyen, R. Gentilini, J. F. Raskin

A WSDL-based type system for asynchronous WS-BPEL processes

A. Lapadula, R. Pugliese, F. Tiezzi

Programs with lists are counter automata

Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomáš Vojnar

Ausgabe: 1/2011

Ausgabe: 3/2011

Anzeige

Aktuelle Ausgaben

Formal Methods in System Design 2-3/2022
Special issue on 'Synthesis Progress'
Formal Methods in System Design 1/2022
Special Issue 'FM2021'
Formal Methods in System Design 3/2022
Special issue 'In Memory of Ed Clarke'
Formal Methods in System Design 2/2022
Formal Methods in System Design 1/2022
Special Issue on CAV 2017
Formal Methods in System Design 1-3/2021
Formal Methods in System Design 3/2021
Formal Methods in System Design 1-2/2021
Special Issue:'Best Papers from FM 2019'
Formal Methods in System Design 3/2021
Formal Methods in System Design 2/2021
Special Issue on FMCAD 2018

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner