Volume 6869
From CERES
A list of all pages that have property "Volume" with value "6869".
Since there have been only a few results, also nearby values are displayed.
- Publications:Formal analysis of non-determinism in Verilog cell library simulation models + (5825)
- Publications:Report on Rail Conference and Wireless Communications : VTS News + (6)
- Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs + (6)
- Publications:Towards model checking executable UML specifications in mCRL2 + (6)
- Publications:Column Generation for Discrete-Rate Multi-User and Multi-Carrier Power Control + (60)
- Publications:Proceedings First International Workshop on Process Algebra and Coordination + (60)
- Publications:An Overtaking Assistance System Based on Joint Beaconing and Real-Time Video Transmission + (61)
- Publications:Special Section on Telematics Advances for Vehicular Communication Networks + (61)
- Publications:Modeling Prioritized Broadcasting in Multichannel Vehicular Networks + (61)
- Publications:Preface + (62)
- Publications:Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET + (6294)
- Publications:Evaluation of RTSJ-Based Distributed Control System + (6869)
- Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application + (6869)
- Publications:Automated Verification of Executable UML Models + (6957)
- Publications:Symbolic Power Analysis of Cell Libraries + (6959)
- Publications:Report on Wireless Vehicular Communications : VTS News + (7)
- Publications:Gait Unsteadiness Analysis from Motion Primitives + (7)
- Publications:Synchronizing Asynchronous Conformance Testing + (7041)
- Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks + (7321)
- Publications:Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors + (7694)
- Publications:Rule Formats for Determinism and Idempotence + (77)
- Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations + (7758)
