المؤلفون: D'Angelo, B., Sankaranarayanan, S., Sanchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.

المصدر: 12th International Symposium on Temporal Representation and Reasoning (TIME'05) Temporal Representation and Reasoning Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on. :166-174 2005

Relation: Proceedings. 12th International Symposium on Temporal Representation and Reasoning

المؤلفون: Manna, Z., Sipma, H.B.

المصدر: Proceedings of Tenth International Symposium on Intelligent Control Intelligent control Intelligent Control, 1995., Proceedings of the 1995 IEEE International Symposium on. :35-41 1995

Relation: Proceedings of Tenth International Symposium on Intelligent Control

المؤلفون: Chang, E., Manna, Z., Pnueli, A.

المصدر: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on. :458-465 1994

Relation: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science

المؤلفون: Manna, Z., Pnueli, A.

المصدر: Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology' Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9). :757-773 1990

Relation: Proceedings of the 5th Jerusalem Conference on Information Technology 'Next Decade in Information Technology'

المؤلفون: Henzinger, T.A., Manna, Z., Pnueli, A.

المصدر: Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology' Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9). :717-730 1990

Relation: Proceedings of the 5th Jerusalem Conference on Information Technology 'Next Decade in Information Technology'

المؤلفون: Manna, Z., Waldinger, R.

المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 18(8):674-704 Aug, 1992

المؤلفون: Sanchez, C., Sipma, H.B., Manna, Z., Subramonian, V., Gill, C.

المصدر: Proceedings 20th IEEE International Parallel & Distributed Processing Symposium Parallel and Distributed Processing Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International. :10 pp. 2006

Relation: Proceedings. 20th International Parallel and Distributed Processing Symposium

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Manna, Z.

المصدر: Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99 Temporal representation and reasoning Temporal Representation and Reasoning, 1999. TIME-99. Proceedings. Sixth International Workshop on. :6-6 1999

Relation: Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99

المؤلفون: Min Song, Shuangshuang Chen, Manna Zhang, Shijun Hu, Wei Lei, Miao Yu

المصدر: Stem Cell Research, Vol 77, Iss , Pp 103387- (2024)

مصطلحات موضوعية: Biology (General), QH301-705.5

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S1873506124000850; https://doaj.org/toc/1873-5061

URL الوصول: https://doaj.org/article/c6f41b467ec040208630c3f5cb2b7470