News

IEEE2d
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs - IEEE Xplore
This paper introduces Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e.g., RFID). The aim of Sensor Graphs is to simplify the modeling ...
GitHub21d
graph-limit-theory · GitHub Topics · GitHub
Add a description, image, and links to the graph-limit-theory topic page so that developers can more easily learn about it. Curate this topic Add this topic to your repo ...
World Scientific24d
List 2-distance coloring of planar graphs without short cycles | Discrete Mathematics, Algorithms and Applications - World Scientific Publishing Co Pte Ltd
Notes Discrete Math. 29 (2007) 515–519. Crossref, Google Scholar; 10. J. Heuvel and S. McGuiness, Coloring of the square of planar graph, J.Graph Theory 42 (2003) 110–124. Crossref, Google Scholar; 11 ...
World Scientific29d
Component Connectivity of Alternating Group Networks and Godan Graphs | International Journal of Foundations of Computer Science - World Scientific Publishing Co Pte Ltd
Ren and S. Wang, Reliability analysis of godan graphs, Discrete Appl. Math. 307 ... 10 January 2024 | International Journal of Computer Mathematics: Computer Systems Theory, Vol. 9, No. 1. The ...