B
[BM83] Bernard Berthomieu and Miguel Menasche. An Enumerative Approach for Analyzing Time Petri Nets. In WCC'83, pages 41-46. North-Holland/IFIP, September 1983. 
@inproceedings{ifipwcc1983-BM,
  author =              {Berthomieu, Bernard and Menasche, Miguel},
  title =               {An Enumerative Approach for Analyzing Time {P}etri
                         Nets},
  editor =              {Mason, R. E. A.},
  booktitle =           {{I}nformation {P}rocessing~83~-- {P}roceedings of
                         the 9th {IFIP} {W}orld {C}omputer {C}ongress
                         ({WCC}'83)},
  acronym =             {{WCC}'83},
  publisher =           {North-Holland/IFIP},
  pages =               {41-46},
  year =                {1983},
  month =               sep,
}
List of authors