Author Info
Name
Papers
Collaborators
THOMAS, W.
2
2
Citations 
PageRank 
Referers 
2
0.81
7
Referees 
References 
4
2
Title
Citations
PageRank
Year
Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor.00.342018
Synthesis of behavioral controllers for Discrete Event Systems with NCES-like Petri net models20.472009