wp Is w lp

B Möller, G Struth - International Conference on Relational Methods in …, 2005 - Springer
Using only a simple transition relation one cannot model commands that may or may not
terminate in a given state. In a more general approach commands are relations enriched …
被引用次数：35 相关文章
[PDF] researchgate.net

[PDF][PDF] Report 2004-14 October 2004

B Möller, G Struth - researchgate.net
Using only a simple transition relation one cannot model commands that may or may not
terminate in a given state. In a more general approach commands are relations enriched …

wp Is wlp

B Möller, G Struth - Proceedings of the 8th international conference on …, 2005 - dl.acm.org
Using only a simple transition relation one cannot model commands that may or may not
terminate in a given state. In a more general approach commands are relations enriched …
[PDF] psu.edu

[PDF][PDF] Report 2004-14 October 2004

B Möller, G Struth - Citeseer
Using only a simple transition relation one cannot model commands that may or may not
terminate in a given state. In a more general approach commands are relations enriched …
[PDF] core.ac.uk

[PDF][PDF] Report 2004-14 October 2004

B Möller, G Struth - core.ac.uk
Using only a simple transition relation one cannot model commands that may or may not
terminate in a given state. In a more general approach commands are relations enriched …

wp Is wlp

B Möller, G Struth - Relational Methods in Computer Science - infona.pl
Using only a simple transition relation one cannot model commands that may or may not
terminate in a given state. In a more general approach commands are relations enriched …

wp is wlp

B Möller, G Struth - 2004 - opus.bibliothek.uni-augsburg.de
Using only a simple transition relation one cannot model commands that may or may not
terminate in a given state. In a more general approach commands are relations enriched …

[引用][C] Wp is wip

B MÖLLER, G STRUTH - Lecture notes in computer science, 2006 - pascal-francis.inist.fr
Wp is wip CNRS Inist Pascal-Francis CNRS Pascal and Francis Bibliographic Databases
Simple search Advanced search Search by classification Search by vocabulary My Account …

[引用][C] wp Is w lp

B Möller, G Struth - Relational Methods in Computer Science, 2006 - Springer

[引用][C] Wp is wip

B MÖLLER, G STRUTH - Lecture notes in computer science, 2006 - Springer