[IEEE 33rd IEEE Vehicular Technology Conference - (1983.05.25-1983.05.27)] 33rd IEEE Vehicular Technology Conference - Teleconferencing and travel substitution
- 作者Cukier, W.L.
- 文件大小873.15KB
- 发表时间1983
- DOI10.1109/vtc.1983.1623120
- 页码87-94
[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