Pang, J.
Pang, J. (Jun)
Pang, Jun, 19..-....
Pang, Jun
Pang, Jun (Informaticien)
Jun Pang Ph.D. Vrije Universiteit Amsterdam 2004
Pang, Jun (Computer scientist)
VIAF ID: 188915897 ( Personal )
Permalink: http://viaf.org/viaf/188915897
Preferred Forms
- 100 0 _ ‡a Jun Pang ‡c Ph.D. Vrije Universiteit Amsterdam 2004
- 100 1 _ ‡a Pang, J.
-
-
- 100 1 _ ‡a Pang, Jun
- 100 1 _ ‡a Pang, Jun ‡c (Computer scientist)
-
- 100 1 _ ‡a Pang, Jun, ‡d 19..-....
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Algorithmes pour la prédiction de stratégies de reprogrammation cellulaire dans les réseaux Booléens. | |
Algorithms For Cell Reprogramming Strategies in Boolean Networks. | |
Analysis of a distributed system for lifting trucks, 2001: | |
Analysis of a security protocol in mCRL | |
Computational Methods in Systems Biology : 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings | |
Cones and foci for protocol verification revisited | |
Exact difference abstractions of reaction networks : perform the precision of change prediction for biological systems. | |
Formal methods and software engineering, [2014]: | |
Formal verification of distributed systems | |
A note on K-state self-stabilization in a ring with K=N | |
Simplifying Itai-Rodeh leader election for anonymous rings |