A Modal Logic for Full LOTOS based on Symbolic Transition Systems
about
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
description
im Januar 2002 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в січні 2002
@uk
name
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
@en
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
@nl
type
label
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
@en
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
@nl
prefLabel
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
@en
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
@nl
P356
P1433
P1476
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
@en
P356
10.1093/COMJNL/45.1.55
P50
P577
2002-01-01T00:00:00Z