Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Methods in System Design

Issue 2/2011

Content (3 Articles)

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

Feb 11
Issue: 1/2011
Jun 11
Issue: 3/2011

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits