Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Leucker, Martin.

Overview
Works: 5 works in 3 publications in 1 languages
Titles
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: Morgan, Carroll.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Leucker, Martin. (Language materials, printed)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by: Colombo, Christian.; Leucker, Martin.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / by: Leucker, Martin.; Valencia, Frank D.; SpringerLink (Online service); Rueda, Camilo. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: Leucker, Martin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Rueda, Camilo.; SpringerLink (Online service); Leucker, Martin.; Valencia, Frank D. (Language materials, printed)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: Falcone, Yliès.; Bartocci, Ezio.; SpringerLink (Online service); Leucker, Martin. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: Leucker, Martin.; SpringerLink (Online service); Colombo, Christian.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: SpringerLink (Online service); Leucker, Martin.; Falcone, Yliès.; Bartocci, Ezio. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login