State Space c-Reductions of Concurrent Systems in Rewriting Logic
about
State Space c-Reductions of Concurrent Systems in Rewriting Logic
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована у 2012
@uk
name
State Space c-Reductions of Concurrent Systems in Rewriting Logic
@en
State Space c-Reductions of Concurrent Systems in Rewriting Logic
@nl
type
label
State Space c-Reductions of Concurrent Systems in Rewriting Logic
@en
State Space c-Reductions of Concurrent Systems in Rewriting Logic
@nl
prefLabel
State Space c-Reductions of Concurrent Systems in Rewriting Logic
@en
State Space c-Reductions of Concurrent Systems in Rewriting Logic
@nl
P1476
State Space c-Reductions of Concurrent Systems in Rewriting Logic
@en
P2093
José Meseguer
P304
P356
10.1007/978-3-642-34281-3_30
P407
P577
2012-01-01T00:00:00Z