[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - Specifying and proving properties of timed I/O automata in the TIOA toolkit
- 作者Archer, M.; HongPing Lim, ; Lynch, N.; Mitra, S.; Umeno, S.
- 文件大小155.32KB
- 发表时间2006
- DOI10.1109/memcod.2006.1695916
- 页码129-138
Malacoplakia of the prostateY. Suzuki; Y. Kubota; I. Sasagawa; M. Ishigooka; M. Watanabe; M. Saitoh; H. Yuta · 1995
Probed by Wigner Solid DynamicsKirichek, O. I.; Saitoh, M.; Kono, K.; Williams, F. I. B. · Physical Review Letters · 2001
ChemInform Abstract: New and Effective Synthesis of 7-Triethylsilylbaccatin III from 7β ,13α-Bistriethylsiloxy-1β,2α,10β-trihydroxy-9- oxo-4(20),11-taxadiene.I. SHIINA; M. SAITOH; K. NISHIMURA; K. SAITOH; T. MUKAIYAMA · 1996
ChemInform Abstract: Asymmetric Synthesis of the BC Ring System of 8-Epitaxoids (XI) by Way of Intramolecular Aldol and Successive Stereoselective Methylation Reactions.T. MUKAIYAMA; I. SHIINA; H. IWADARE; M. SAITOH; K. NISHIMURA; T. NISHIMURA; N. OHKAWA; H. SAKOH; K. SAITOH · 1996
Occlusal phase of gum-chewing strokesH. Hayasaki; I. Saitoh; G. S. Throckmorton; Y. Iwase; S. Nakata; M. Nakata · 2003
Altered Protein Tyrosine Phosphorylation in Alzheimer's DiseaseI. P. Shapiro; E. Masliah; T. Saitoh · 1991
double perovskitesKang, J.-S.; Kim, J. H.; Sekiyama, A.; Kasai, S.; Suga, S.; Han, S. W.; Kim, K. H.; Muro, T.; Saitoh, Y.; Hwang, C.; Olson, C. G.; Park, B. J.; Lee, B. W.; Shim, J. H.; Park, J. H.; Min, B. I. · Physical Review B · 2002
Mutual Experimental and Theoretical Validation of Bulk Photoemission Spectra ofSekiyama, A.; Fujiwara, H.; Imada, S.; Suga, S.; Eisaki, H.; Uchida, S. I.; Takegahara, K.; Harima, H.; Saitoh, Y.; Nekrasov, I. A.; Keller, G.; Kondakov, D. E.; Kozhevnikov, A. V.; Pruschke, Th.; Held, K.; Vollhardt, D.; Anisimov, V. I. · Physical Review Letters · 2004
Broadband magnetic microwave absorbers: fundamental limitationsWallace, J.L. · IEEE Transactions on Magnetics · 1993
Electromagnetic aircraft launch system development considerationsBushway, R.R. · IEEE Transactions on Magnetics · 2001
Early electric gun researchMcNab, I.R. · IEEE Transactions on Magnetics · 1999
Pulsed power for electric gunsMcNab, I.R. · IEEE Transactions on Magnetics · 1997
The ferromagnetic spin filterWeber, W.; Oberli, D.; Riesen, S.; Siegmann, H.C. · IEEE Transactions on Magnetics · 1999
Different formulations to model superconductorsVinot, E.; Meunier, G.; Tixador, P. · IEEE Transactions on Magnetics · 2000
Measurements of the anisotropy in permalloyEijekel, K.J. · IEEE Transactions on Magnetics · 1988
Unconventional Exchange Bias and MultiferroicsBlamire, M.G. · IEEE Transactions on Magnetics · 2008