Author： Pronić Olivera Marković Vera Milovanović Bratislav
Publisher： Emerald Group Publishing Ltd
ISSN： 0332-1649
Source： COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol.20, Iss.4, 2001-08, pp. : 1055-1070
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
An efficient simulation algorithm on Kripke structures
Acta Informatica, Vol. 51, Iss. 2, 2014-03 ,pp. :
Access to resources
Recommend
Efficient Union-Find for planar graphs and other sparse graph classes
By Gustedt J.
Theoretical Computer Science, Vol. 203, Iss. 1, 1998-08 ,pp. :
By Lopato Przemyslaw Chady Tomasz Sikora Ryszard Gratkowski Stanislaw Ziolkowski Marcin
COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 32, Iss. 3, 2013-05 ,pp. :