Temporal Logic: Mathematical Foundations And Computational Aspects: Volume 2

By Marcelo Finger, Ian Hodkinson, Mark A. Reynolds, Dov M. Gabbay, M Reynolds, M. Finger

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two dis...

Rail Economics, Regulation And Policy In Europe

By Matthias Finger, P. Messulam, M. Finger

EGovernance

By M. Finger

The COMPASS RICH-1 Detector Upgrade

By M. Alekseev, J. Polák, H. Fischer, H DesChamps, A. Lehmann, S Paul, A. Mann, A. Martin, H. Angerer, W. Schröder, S. COSTA, A. Bressan, L. Silva, A. Ferrero, V. N. Kolosov, F. Bradamante, A. Maggiora, D. Kramer, R. Hagemann, M. Finger, H. Wollny, M. Giorgi, P. Pagano, G. Menon, P. Abbon, M. Apollonio, R. Birsa, P. Bordalo, L. Busso, M. Chiosso, P. Ciliberti, M. L. Colantoni, S. Dalla Torre, T. Dafni, E. Delagnes, V. Diaz, N. Dibiase, V. Duic, W. Eyrich, D. Faso, S. Gerassimov, B. Gobbo, D. Von Harrach, F. H. Heinsius, R. Joosten, B. Ketzer, K. Königsmann, I. Konorov, F. Kunne, S. Levorato, A. Magnon, A. Mutter, O. Nähle, F. Nerling, D. Neyret, S. Panebianco, D. Panzieri, G. Pesaro, P. Rebourgeard, F. Robinet, E. Rocco, P. Schiavon, C. Schill, M. Slunecka, F. Sozzi, L. Steiger, M. Sulc, M. Svec, F. Tessarotto, A. Teufel