Author: Forbes M.G. Guay M. Forbes J.F.
Publisher: Elsevier
ISSN: 0959-1524
Source: Journal of Process Control, Vol.14, Iss.4, 2004-06, pp. : 399-410
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Some first-order probability logics
Theoretical Computer Science, Vol. 247, Iss. 1, 2000-09 ,pp. :
Design of abstract domains using first-order logic
By Marchiori E.
Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. :
A note on first-order projections and games
Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. :