Jensen, K. (1950-)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
Jensen, K. (1950-); Podelski, Andreas.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects