[IEEE 19th European Microwave Conference, 1989 - London, UK (1989.10.4-1989.10.6)] 19th European Microwave Conference, 1989 - Characteristics of First Generation L-Band Payloads for Land Mobiles Application in Europe
- 作者Perrotta, G.; Rispoli, F.
- 文件大小5342.54KB
- 发表时间1989
- DOI10.1109/euma.1989.334064
- 页码789-794
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Preface2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Author Index2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - DiVinE: Parallel Distributed Model CheckerBarnat, Jiri; Brim, Lubos; Ceska, Milan; Rockai, Petr · 2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Title Page iii2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Title Page i2010
[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Industrial Strength Distributed Explicit State Model CheckingBingham, Brad; Bingham, Jesse; Paula, Flavio M. de; Erickson, John; Singh, Gaurav; Reitblatt, Mark · 2010
[IEEE 2010 9th International Workshop on Parallel & Distributed Methods in Verification and 2nd International Workshop on High Performance Computational Systems Biology (PDMC-HiBi 2010) - Enschede (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - [Copyright notice]2010
[IEEE 2010 9th International Workshop on Parallel & Distributed Methods in Verification and 2nd International Workshop on High Performance Computational Systems Biology (PDMC-HiBi 2010) - Enschede (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - [Roster page]2010