Have Wang Yi and Bengt J. co-authored the paper 'Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes'?
Was the paper 'Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes' co-authored by Wang Yi and Bengt J.?
ASK { <https://dblp.org/rec/conf/fsttcs/YiJ94> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/y/WangYi> . <https://dblp.org/rec/conf/fsttcs/YiJ94> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/j/BengtJonsson> }
<https://dblp.org/pid/y/WangYi> <https://dblp.org/pid/j/BengtJonsson> <https://dblp.org/rec/conf/fsttcs/YiJ94>