Period of time： 2004年2期
Publisher： Academic Press
Founded in： 1957
Total resources： 79
ISSN： 0890-5401
Subject： O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Information and Computation,volume 134,issue 2
Menu
Time-Abstracted Bisimulation: Implicit Specifications and Decidability
By Larsen K.G.,Wang Y. in (1997)
Information and Computation,volume 134,issue 2 , Vol. 134, Iss. 2, 1997-05 , pp.
Access to resources
Recommend
All Pairs Shortest Distances for Graphs with Small Integer Length Edges
By Galil Z.,Margalit O. in (1997)
Information and Computation,volume 134,issue 2 , Vol. 134, Iss. 2, 1997-05 , pp.