%0 Thesis %1 phd/dnb/Rodriguez15 %A Rodríguez, Marco Antonio Muñiz %D 2015 %K dblp %T Model checking for time division multiple access systems.

@phdthesis{phd/dnb/Rodriguez15, added-at = {2021-07-17T00:00:00.000+0200}, author = {Rodríguez, Marco Antonio Muñiz}, biburl = {https://www.bibsonomy.org/bibtex/2ed54a50b0bfaf4582d732b8ff919408e/dblp}, ee = {https://d-nb.info/1119327458}, interhash = {9a73eb40e99a96ec54ed3f285b92a211}, intrahash = {ed54a50b0bfaf4582d732b8ff919408e}, keywords = {dblp}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, timestamp = {2024-04-09T08:14:56.000+0200}, title = {Model checking for time division multiple access systems.}, year = 2015 }