MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearAuthor(s) [non member]Editor(s) [non member]TitleType
1
Hide details for Tsay, Yih-Kuen (ed.)Tsay, Yih-Kuen (ed.)
2005[Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan		[Peled, Doron A]
[Tsay, Yih-Kuen]		Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113		Proceedings Article
1
Show details for Turini, Franco (ed.)Turini, Franco (ed.)
2
Show details for Turunen, Esko (ed.)Turunen, Esko (ed.)
7
Show details for Tzakova, MiroslavaTzakova, Miroslava
1
Show details for Uebe, G. (ed.)Uebe, G. (ed.)
1
Show details for Ursini, Aldo (ed.)Ursini, Aldo (ed.)
1
Show details for Urzyczyn, Pawe{ł} (ed.)Urzyczyn, Pawe{ł} (ed.)
1
Show details for Vakarelov, DimiterVakarelov, Dimiter
1
Show details for Vakil, R. (ed.)Vakil, R. (ed.)
1
Show details for Vallduvi, Enric (ed.)Vallduvi, Enric (ed.)
2
Show details for Valmari, Antti (ed.)Valmari, Antti (ed.)
22
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
1
Show details for van Emde Boas, Peter (ed.)van Emde Boas, Peter (ed.)
2
Show details for Van Hentenryck, Pascal (ed.)Van Hentenryck, Pascal (ed.)
1
Show details for van Leeuwen, Jan (ed.)van Leeuwen, Jan (ed.)
1
Show details for Vardi, MosheVardi, Moshe
1
Show details for Varsek, I.Varsek, I.
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
10
Show details for Veanes, MargusVeanes, Margus
1
Show details for Vehi, JosepVehi, Josep
1
Show details for Veit, JörgVeit, Jörg
1
Show details for Ventura, PaoloVentura, Paolo
9
Show details for Viganò, LucaViganò, Luca
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Vogel, Carl (ed.)Vogel, Carl (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
1
Show details for von Wright, J. (ed.)von Wright, J. (ed.)
11
Show details for Vorobyov, SergeiVorobyov, Sergei
10
Show details for Voronkov, AndreiVoronkov, Andrei

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)