APA (7th ed.) Citation

Fraikin, B., Frappier, M., & Laleau, R. (2005). State-based versus event-based specifications for information systems: A comparison of B and eb3. Software & Systems Modeling, 4(3), 236. https://doi.org/10.1007/s10270-005-0083-4

Chicago Style (17th ed.) Citation

Fraikin, Benoît, Marc Frappier, and Régine Laleau. "State-based Versus Event-based Specifications for Information Systems: A Comparison of B and Eb3." Software & Systems Modeling 4, no. 3 (2005): 236. https://doi.org/10.1007/s10270-005-0083-4.

MLA (9th ed.) Citation

Fraikin, Benoît, et al. "State-based Versus Event-based Specifications for Information Systems: A Comparison of B and Eb3." Software & Systems Modeling, vol. 4, no. 3, 2005, p. 236, https://doi.org/10.1007/s10270-005-0083-4.