Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
about
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована в листопаді 2010
@uk
name
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
@en
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
@nl
type
label
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
@en
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
@nl
prefLabel
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
@en
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
@nl
P356
P1476
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
@en
P2093
Guoqiang Wang
P304
P356
10.1109/TII.2010.2064171
P577
2010-11-01T00:00:00Z